Q5856419 (Q5856419): Difference between revisions

@@ Property / author @@
-Cristian Ene
@@ Property / author: Cristian Ene / rank @@
-Normal rank
@@ Property / author @@
+Cristian Ene
@@ Property / author: Cristian Ene / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CacheAudit
@@ Property / describes a project that uses: CacheAudit / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NaCl
@@ Property / describes a project that uses: NaCl / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Boogie
@@ Property / describes a project that uses: Boogie / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LLVM
@@ Property / describes a project that uses: LLVM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JFlow
@@ Property / describes a project that uses: JFlow / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Transforming out timing leaks
@@ Property / cites work: Transforming out timing leaks / rank @@
+Normal rank
@@ Property / cites work @@
+Lucky Microseconds: A Timing Attack on Amazon’s s2n Implementation of TLS
+Normal rank
@@ Property / cites work @@
+Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC
+Normal rank
@@ Property / cites work @@
+Security types preserving compilation
@@ Property / cites work: Security types preserving compilation / rank @@
+Normal rank
@@ Property / cites work @@
+The Security Impact of a New Cryptographic Library
+Normal rank
@@ Property / cites work @@
+Verifying constant-time implementations by abstract interpretation
+Normal rank
@@ Property / cites work @@
+The program dependence graph and its use in optimization
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+On flow-sensitive security types
@@ Property / cites work: On flow-sensitive security types / rank @@
+Normal rank
@@ Property / cites work @@
+Downgrading policies and relaxed noninterference
@@ Property / cites work: Downgrading policies and relaxed noninterference / rank @@
+Normal rank
@@ Property / cites work @@
+Information Security and Cryptology - ICISC 2005
@@ Property / cites work: Information Security and Cryptology - ICISC 2005 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5856419