11
Publications
670
Citations
11
H-Index
2004
Active since
Affiliations
Dilsun Kaynar is an author at Carnegie Mellon University specializing in formal verification, engineering, and computer science.
Top concepts
EngineeringComputer ScienceFormal VerificationCryptographyData SecurityFormal MethodsInformation SecurityVerificationSecuritySoftware Analysis
Publications per year
2004–2015
11
11
The Theory of Timed I/O Automata
Dilsun Kaynar, Nancy Lynch, Roberto Segala et al. · Synthesis lectures on computer science · 2006 · 181 citations
A Logic of Secure Systems and its Application to Trusted Computing
Anupam Datta, Jason Franklin, Deepak Garg et al. · 2009 · 109 citations
Experiences in the logical specification of the HIPAA and GLBA privacy laws
Henry DeYoung, Deepak Garg, Limin Jia et al. · 2010 · 89 citations
Rows per page
1–5 of 11