Search

Your search keyword '"automated verification"' showing total 22 results

Search Constraints

Start Over You searched for: Descriptor "automated verification" Remove constraint Descriptor: "automated verification" Publication Type eBooks Remove constraint Publication Type: eBooks
22 results on '"automated verification"'

Search Results

1. Verifying Cake-Cutting, Faster

2. Blockchain-Enabled IoV Framework for Establishing Automated Communication Using Smart Contract

3. Deciding a Fragment of -Privacy

4. Secure Key Management Policies in Strand Spaces

5. Gobra: Modular Specification and Verification of Go Programs

6. Framework to Verify Distributed IoT Solutions for Traffic Analysis in ATN Stations

7. Random Probing Security: Verification, Composition, Expansion and New Constructions

8. Tornado: Automatic Generation of Probing-Secure Masked Bitsliced Implementations

9. Adventures in the Analysis of Access Control Policies

10. maskVerif: Automated Verification of Higher-Order Masking in Presence of Physical Defaults

11. Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System

12. On Automated Detection of Multi-Protocol Attacks Using AVISPA

14. Quicksort Revisited : Verifying Alternative Versions of Quicksort

15. A Robust Framework for Securing Composed Web Services

16. Analyzing and Fixing the QACCE Security of QUIC

17. Model-Driven Information Flow Security for Component-Based Systems

18. Automated Verification of Model Transformations in the Automotive Industry

19. Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems

Catalog

Books, media, physical & digital resources