|
43
|
Refinement types for secure implementations
– Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Sergio Maffeis, Andrew D. Gordon
- 2008
|
|
243
|
Z3: An Efficient SMT Solver
– Leonardo De Moura, Nikolaj Bjørner
- 2008
|
|
11
|
Distributed programming with distributed authorization ∗
– Kumar Avijit, Anupam Datta, Robert Harper
|
|
37
|
Fable: A language for enforcing user-defined security policies
– Nikhil Swamy, Brian J. Corcoran, Michael Hicks
- 2008
|
|
8
|
Type-preserving Compilation for End-to-end Verification of Security Enforcement
– Juan Chen, Ravi Chugh, Nikhil Swamy
|
|
27
|
Aura: a programming language for authorization and audit
– L Jia, J A Vaughan, K Mazurak, J Zhao, L Zarko, J Schorr, S Zdancewic
|
|
113
|
Towards a practical programming language based on dependent type theory
– Ulf Norell
- 2007
|
|
17
|
Cryptographic protocol synthesis and verification for multiparty sessions
– Karthikeyan Bhargavan, Ricardo Corin, Pierre-malo Deniélou, Cédric Fournet, James J. Leifer
- 2009
|
|
13
|
Modular verification of security protocol code by typing
– Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
- 2010
|
|
24
|
Liquid types
– Patrick M. Rondon, Ming W. Kawaguchi, Ranjit Jhala
- 2008
|
|
96
|
Hybrid type checking
– C Flanagan
- 2006
|
|
28
|
Evidence-based Audit
– Jeffrey A. Vaughan, Limin Jia, Karl Mazurak, Steve Zdancewic
|
|
10
|
A proof-carrying file system
– Deepak Garg, Frank Pfenning
- 2009
|
|
34
|
Differentially Private Recommender Systems: Building Privacy into the Netflix Prize Contenders
– Frank Mcsherry, Ilya Mironov
|
|
10
|
Semantic subtyping with an SMT solver
– Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David Langworthy
- 2010
|
|
340
|
Interactive theorem proving and program development. Coq’Art: The calculus of inductive constructions
– Y Bertot, P Castéran
- 2004
|
|
29
|
Staged information flow for JavaScript
– Ravi Chugh, Jeffrey A. Meister, Ranjit Jhala, Sorin Lerner
- 2009
|
|
6
|
Reliable evidence: Auditability by typing
– N Guts, C Fournet, F Zappa Nardelli
- 2009
|
|
381
|
The Spec# Programming System: An Overview
– Mike Barnett, K. Rustan M. Leino, Wolfram Schulte
- 2004
|
