Dilsun Kaynar

Computer Science · Physical Sciences

17h-index1.1kcitations63works0.02yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(24), Security and Verification in Computing(13), Cryptography and Data Security(12), Access Control and Trust(11), Real-Time Systems Scheduling(11)

Publications63 total

Tracing Actual Causes
2016· 1 cited
Tracing Actual Causes (CMU-CyLab-16-004)
Research Showcase @ Carnegie Mellon University (Carnegie Mellon University)·2016Open Access
Probabilistic cost enforcement of security policies
Journal of Computer Security·2015· 1 cited
Program Actions as Actual Causes: A Building Block for Accountability
2015· 26 citedOpen Access
Program Actions as Actual Causes: A Building Block for Accountability
arXiv (Cornell University)·2015· 5 citedOpen Access
Programs as Actual Causes: A Building Block for Accountability
arXiv (Cornell University)·2015Open Access
Probabilistic Cost Enforcement of Security Policies
Lecture notes in computer science·2013· 6 cited
Enforcing More with Less: Formalizing Target-Aware Run-Time Monitors
Lecture notes in computer science·2013· 11 cited
Enforcing More with Less: Formalizing Target-aware Run-time Monitors (CMU-CyLab-12-009)
Figshare·2012Open Access
Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract)
Electronic Notes in Theoretical Computer Science·2011· 48 citedOpen Access
Formal Verification of Differential Privacy for Interactive Systems
arXiv (Cornell University)·2011· 7 citedOpen Access
On Adversary Models and Compositional Security
IEEE Security & Privacy·2011· 22 cited
Operations on Timed Automata
Synthesis lectures on distributed computing theory·2011
Describing Timed System Behavior
Synthesis lectures on distributed computing theory·2011
Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms
Lecture notes in computer science·2011· 32 cited
Conclusions and Future Work
Synthesis lectures on distributed computing theory·2011
The Theory of Timed I/O Automata
Synthesis lectures on distributed computing theory·2011· 50 cited
Timed Automata
Synthesis lectures on distributed computing theory·2011
Timed I/O Automata
Synthesis lectures on distributed computing theory·2011
Properties for Timed Automata
Synthesis lectures on distributed computing theory·2011
page 1 of 4Next →

Frequent Co-authors

Nancy Lynch(27), Roberto Segala(21), Anupam Datta(18), Frits Vaandrager(14), Deepak Garg(14), Ran Canetti(11), Ling Cheung(11), Olivier Pereira(11), Moses Liskov(7), Jason Franklin(6), Henry DeYoung(6), Limin Jia(5), Arunesh Sinha(4), Divya Sharma(4), Yannis Mallios(3), Lujo Bauer(3), Michael Carl Tschantz(2), Sayan Mitra(2), Fabio Martinelli(2), C. Morisset(2)