| SecProve: Analyzing Software for Security During Construction |
|
| Towards a "Periodic Table" of Bugs |
|
| FUSE: Beyond single-app security |
|
| Science of Security Publications of Interest |
|
| A Meta-Model for the Assessment of Systems |
|
| Deep Specifications and Certified Abstraction Layers |
|
| CoqPIE: A Coq IDE Aimed at Improving Proof Development Productivity |
|
| Runtime Assurance for Complex Autonomy |
|
| Re-Engineering Abstract Interpretation |
|
| Bringing Roots of Trust to Reality |
|
| The End-to-End Verifiable Internet Voting Project |
|
| C3E June 2015 Mid-Year Workshop |
|
| HCSS 2015 Artifacts |
|
| IMG_7440.JPG |
|
| JASON Report: The Science of Cyber-Security |
|
| Learning Security Strategies |
|