VERICA - Verification of Combined Attacks : automated formal verification of security against simultaneous information leakage and tampering
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
VERICA - Verification of Combined Attacks : automated formal verification of security against simultaneous information leakage and tampering ; volume:2022 ; number:4 ; pages:255-284
IACR transactions on cryptographic hardware and embedded systems ; 2022, Heft 4, 255-284
- Klassifikation
-
Informatik
- Urheber
- DOI
-
10.46586/tches.v2022.i4.255-284
- URN
-
urn:nbn:de:hbz:294-TCHES-2897
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 15.08.2025, 07:29 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Richter-Brockmann, Jan
- Feldtkeller, Jakob
- Sasdrich, Pascal
- Güneysu, Tim
Ähnliche Objekte (12)
Formal verification in automated manufacturing
Formal Verification in Automated Manufacturing
Dual-verification-based model fingerprints against ambiguity attacks
Automated Verification of Parallel Nested DFS
Automated deductive verification of probabilistic programs
Automated continuous verification for numerical simulation
Highly Automated Formal Verification of Arithmetic Circuits
Verification
Masking in Fine-Grained Leakage Models: Construction, Implementation and Verification
Masking in fine-grained leakage models: construction, implementation and verification
Formal verification and automated masking of cryptographic hardware
symQV : Automated Symbolic Verification of Quantum Programs
Formal verification in automated manufacturing
Formal Verification in Automated Manufacturing
Dual-verification-based model fingerprints against ambiguity attacks
Automated Verification of Parallel Nested DFS
Automated deductive verification of probabilistic programs
Automated continuous verification for numerical simulation
Highly Automated Formal Verification of Arithmetic Circuits
Verification
Masking in Fine-Grained Leakage Models: Construction, Implementation and Verification
Masking in fine-grained leakage models: construction, implementation and verification
Formal verification and automated masking of cryptographic hardware
symQV : Automated Symbolic Verification of Quantum Programs
Formal verification in automated manufacturing
Formal Verification in Automated Manufacturing
Dual-verification-based model fingerprints against ambiguity attacks
Automated Verification of Parallel Nested DFS
Automated deductive verification of probabilistic programs
Automated continuous verification for numerical simulation
Highly Automated Formal Verification of Arithmetic Circuits
Verification
Masking in Fine-Grained Leakage Models: Construction, Implementation and Verification
Masking in fine-grained leakage models: construction, implementation and verification
Formal verification and automated masking of cryptographic hardware