22 results on '"automated verification"'
Search Results
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
13. Formal Design Flows for Embedded IoT Hardware
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
20. Using CSP to Detect Insertion and Evasion Possibilities within the Intrusion Detection Area
21. Verification of a Sliding Window Protocol Using IOA and MONA
22. PROTEAN: A High-level Petri Net Tool for the Specification and Verification of Communication Protocols
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.