cryptography 1formal verification 1language-based security 1proof assistants 1secure compilation 1system security 1
From the 1 of 2 linked papers with an AI index.
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2026
Formalization of security
Gilles Barthe
The paper discusses how proof assistants can be used to formally verify security properties of systems, languages, compilers, and cryptographic protocols, supporting certification…
cs.CR2024
Reconciling Security and Utility in Next-Generation Epidemic Risk Mitigation Systems
Pierfrancesco Ingo, Nichole Boufford, Ming Cheng Jiang +8
Epidemics like the recent COVID-19 require proactive contact tracing and epidemiological analysis to predict and subsequently contain infection transmissions. The proactive measure…