CoCon: a conference management system with formally verified document confidentiality
From MaRDI portal
Publication:2031419
DOI10.1007/s10817-020-09566-9OpenAlexW3043183386MaRDI QIDQ2031419
Publication date: 9 June 2021
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-020-09566-9
theorem provingconfidentialityIsabelle/HOLinformation-flow securityconference management systemunwinding proof method
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Automated reasoning with analytic tableaux and related methods. 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21--24, 2015. Proceedings
- Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22--25, 2016. Proceedings
- Isabelle/HOL. A proof assistant for higher-order logic
- CoSMed: a confidentiality-verified social media platform
- Algorithms for model checking HyperLTL and HyperCTL\(^*\)
- JRIF: reactive information flow control for Java
- Verified model checking of timed automata
- Automated verification of selected equivalences for security protocols
- Model Checking Information Flow in Reactive Systems
- Java and the Java Memory Model — A Unified, Machine-Checked Formalisation
- Concrete Semantics
- Attacker Control and Impact for Confidentiality and Integrity
- Code Generation via Higher-Order Rewrite Systems
- A model for verification of data security in operating systems
- On the bisimulation proof method
- A mechanically checked proof of the AMD5/sub K/86/sup TM/ floating-point division program
- Noninterference for Operating System Kernels
- CakeML
This page was built for publication: CoCon: a conference management system with formally verified document confidentiality
