Folgen
Dilsun Kırlı Kaynar
Dilsun Kırlı Kaynar
Associate Teaching Professor, Carnegie Mellon University
Bestätigte E-Mail-Adresse bei cmu.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
The theory of timed I/O automata
DK Kaynar, N Lynch, R Segala, F Vaandrager
Synthesis Lectures on Distributed Computing Theory 1 (1), 1-137, 2010
3142010
The theory of timed I/O automata
DK Kaynar, N Lynch, R Segala, F Vaandrager
Synthesis Lectures on Distributed Computing Theory 1 (1), 1-137, 2010
3102010
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
1732003
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
1432009
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
1202010
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
1032011
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
822004
Time-bounded task-PIOAs: A framework for analyzing security protocols
R Canetti, L Cheung, D Kaynar, M Liskov, N Lynch, O Pereira, R Segala
Distributed Computing: 20th International Symposium, DISC 2006, Stockholm …, 2006
712006
Dynamic ML without dynamic types
S Gilmore, D Kirli, CD Walton
University of Edinburgh, 1997
631997
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
602006
Formal verification of differential privacy for interactive systems
MC Tschantz, D Kaynar, A Datta
Electronic Notes in Theoretical Computer Science 276, 61-79, 2011
542011
Understanding and protecting privacy: Formal semantics and principled audit mechanisms
A Datta, J Blocki, N Christin, H DeYoung, D Garg, L Jia, D Kaynar, ...
Springer 7093, 1, 2011
502011
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
412010
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
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
342015
On adversary models and compositional security
A Datta, J Franklin, D Garg, L Jia, D Kaynar
IEEE Security & Privacy 9 (3), 26-32, 2010
332010
Translating timed I/O automata specifications for theorem proving in PVS
H Lim, D Kaynar, N Lynch, S Mitra
FORMATS 5, 17-31, 2005
332005
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
222007
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20