| Demystify Your Trust Boundary With Interactive Refinement |
|
| Using Lightweight Formal Methods to Validate a Key-value Storage Node in Amazon S3 |
|
| Fiat Cryptography: A Formally Verified Compiler for Finite-Field Arithmetic |
|
| Kani Rust Verifier |
|
| Keynote Presentation: A Navy of Things: The Role of IoT at War |
|
| Gao_HCSS.pdf |
|
| Lee_Controller_Analysis_of_Code_Stability.pdf |
|
| HCSS-2022-Castillo-Effen.pdf |
|
| Evolving Verified Cloud Authorization |
|
| AI for Cyber Security Workshop at the 2023 AAAI Conference |
|
| 2012 SoS Poster Session Template |
|
| C3E-Fall23_Travel_Expense_Worksheet.xlsx |
|
| SoS Community Meeting 2012 Agenda Poster.pdf |
|
| SoS Community MTG 2012_Help Desk 2.jpg |
|
| SoS Community Meeting 2012_SoS VO Poster.pdf |
|
| SoS Community MTG 2012_Help Desk 1.jpg |
|
| SoS Community MTG 2012_Help Desk 3.jpg |
|