CoCon: a conference management system with formally verified document confidentiality (Q2031419): Difference between revisions

@@ Property / cites work @@
+Attacker Control and Impact for Confidentiality and Integrity
+Normal rank
@@ Property / cites work @@
+CoSMed: a confidentiality-verified social media platform
+Normal rank
@@ Property / cites work @@
+Automated verification of selected equivalences for security protocols
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22--25, 2016. Proceedings
+Normal rank
@@ Property / cites work @@
+Automated reasoning with analytic tableaux and related methods. 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21--24, 2015. Proceedings
+Normal rank
@@ Property / cites work @@
+Model Checking Information Flow in Reactive Systems
+Normal rank
@@ Property / cites work @@
+Algorithms for model checking HyperLTL and HyperCTL\(^*\)
+Normal rank
@@ Property / cites work @@
+Q4798029
@@ Property / cites work: Q4798029 / rank @@
+Normal rank
@@ Property / cites work @@
+Code Generation via Higher-Order Rewrite Systems
@@ Property / cites work: Code Generation via Higher-Order Rewrite Systems / rank @@
+Normal rank
@@ Property / cites work @@
+JRIF: reactive information flow control for Java
@@ Property / cites work: JRIF: reactive information flow control for Java / rank @@
+Normal rank
@@ Property / cites work @@
+CakeML
@@ Property / cites work: CakeML / rank @@
+Normal rank
@@ Property / cites work @@
+Java and the Java Memory Model — A Unified, Machine-Checked Formalisation
+Normal rank
@@ Property / cites work @@
+Q2763969
@@ Property / cites work: Q2763969 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A mechanically checked proof of the AMD5/sub K/86/sup TM/ floating-point division program
+Normal rank
@@ Property / cites work @@
+Noninterference for Operating System Kernels
@@ Property / cites work: Noninterference for Operating System Kernels / rank @@
+Normal rank
@@ Property / cites work @@
+Concrete Semantics
@@ Property / cites work: Concrete Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+A model for verification of data security in operating systems
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798025
@@ Property / cites work: Q4798025 / rank @@
+Normal rank
@@ Property / cites work @@
+On the bisimulation proof method
@@ Property / cites work: On the bisimulation proof method / rank @@
+Normal rank
@@ Property / cites work @@
+Verified model checking of timed automata
@@ Property / cites work: Verified model checking of timed automata / rank @@
+Normal rank