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
2952010
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
2942010
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
1552003
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
1382009
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
1102010
A formal model for a system’s attack surface
PK Manadhata, JM Wing
Moving Target Defense, 1-28, 2011
842011
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
732004
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
672006
Dynamic ML without dynamic types
S Gilmore, D Kirli, CD Walton
University of Edinburgh, 1997
641997
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
462011
Formal verification of differential privacy for interactive systems
MC Tschantz, D Kaynar, A Datta
Electronic Notes in Theoretical Computer Science 276, 61-79, 2011
452011
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
402008
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
362010
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
302005
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 (1), 67-76, 2004
302004
On adversary models and compositional security
A Datta, J Franklin, D Garg, L Jia, D Kaynar
IEEE Security & Privacy 9 (3), 26-32, 2010
282010
Using probabilistic I/O automata to analyze an oblivious transfer protocol
R Canetti, L Cheung, D Kaynar, M Liskov, N Lynch, R Segala
262005
Modular programming
J Maynard
Butterworth-Heinemann, 1972
251972
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
242015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20