Seguir
Dilsun Kırlı Kaynar
Dilsun Kırlı Kaynar
Associate Teaching Professor, Carnegie Mellon University
Dirección de correo verificada de cmu.edu - Página principal
Título
Citado por
Citado por
Año
The theory of timed I/O automata
DK Kaynar
Morgan & Claypool Publishers, 2011
3192011
Timed I/O automata: A mathematical framework for modeling and analyzing real-time systems
DK Kaynar, N Lynch, R Segala, F Vaandrager
RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003, 166-177, 2003
1752003
A logic of secure systems and its application to trusted computing
A Datta, J Franklin, D Garg, D Kaynar
2009 30th IEEE Symposium on Security and Privacy, 221-236, 2009
1342009
Experiences in the logical specification of the HIPAA and GLBA privacy laws
H DeYoung, D Garg, L Jia, D Kaynar, A Datta
Proceedings of the 9th Annual ACM Workshop on Privacy in the Electronic …, 2010
1312010
A formal model for a system’s attack surface
PK Manadhata, JM Wing
Moving Target Defense: Creating Asymmetric Uncertainty for Cyber Threats, 1-28, 2011
1192011
The theory of timed I
D Kaynar, N Lynch, R Segala, F Vaandrager
O automata. Technical Report MIT/LCS/TR-917a, MIT Laboratory for Computer …, 2004
812004
Time-bounded task-PIOAs: A framework for analyzing security protocols
R Canetti, L Cheung, D Kaynar, M Liskov, N Lynch, O Pereira, R Segala
International Symposium on Distributed Computing, 238-253, 2006
692006
Dynamic ML without dynamic types
S Gilmore, D Kirli, CD Walton
University of Edinburgh, 1997
661997
Formal verification of differential privacy for interactive systems
MC Tschantz, D Kaynar, A Datta
Electronic Notes in Theoretical Computer Science 276, 61-79, 2011
652011
Task-structured probabilistic I/O automata
R Canetti, L Cheung, D Kaynar, M Liskov, N Lynch, O Pereira, R Segala
2006 8th International Workshop on Discrete Event Systems, 207-214, 2006
592006
Understanding and protecting privacy: Formal semantics and principled audit mechanisms
A Datta, J Blocki, N Christin, H DeYoung, D Garg, L Jia, D Kaynar, ...
International Conference on Information Systems Security, 1-27, 2011
512011
Program actions as actual causes: A building block for accountability
A Datta, D Garg, D Kaynar, D Sharma, A Sinha
2015 IEEE 28th Computer Security Foundations Symposium, 261-275, 2015
392015
Compositional system security with interface-confined adversaries
D Garg, J Franklin, D Kaynar, A Datta
Electronic Notes in Theoretical Computer Science 265, 49-71, 2010
392010
Analyzing security protocols using time-bounded task-PIOAs
R Canetti, L Cheung, D Kaynar, M Liskov, N Lynch, O Pereira, R Segala
Discrete Event Dynamic Systems 18 (1), 111-159, 2008
382008
On adversary models and compositional security
A Datta, J Franklin, D Garg, L Jia, D Kaynar
IEEE Security & Privacy 9 (3), 26-32, 2010
322010
Translating timed I/O automata specifications for theorem proving in PVS
H Lim, D Kaynar, N Lynch, S Mitra
International Conference on Formal Modeling and Analysis of Timed Systems, 17-31, 2005
322005
Using simulated execution in verifying distributed algorithms
TN Win, MD Ernst, SJ Garland, D Kırlı, NA Lynch
International journal on software tools for technology transfer 6, 67-76, 2004
302004
Using probabilistic I/O automata to analyze an oblivious transfer protocol
R Canetti, L Cheung, D Kaynar, M Liskov, N Lynch, R Segala
272005
Compositional security for task-pioas
R Canetti, L Cheung, D Kaynar, N Lynch, O Pereira
20th IEEE Computer Security Foundations Symposium (CSF'07), 125-139, 2007
212007
Task-structured probabilistic I/O automata
R Canetti, L Cheung, D Kaynar, M Liskov, N Lynch, O Pereira, R Segala
Journal of Computer and System Sciences 94, 63-97, 2018
182018
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20