Buchumschlag

A Formal Approach For Modelling And Analysing Surgical Procedures (Extended Version)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Sandu, Ioana, Borgo, Rita, Dasgupta, Prokar, Thurairaja, Ramesh, Viganò, Luca
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

User Identification Procedures with Human Mutations: Formal Analysis and Pilot Study (Extended Version)
von: Quamara, Megha, et al.
Veröffentlicht: (2025)

Beyond the Finite Variant Property: Extending Symbolic Diffie-Hellman Group Models (Extended Version)
von: Giampietro, Sofia, et al.
Veröffentlicht: (2026)

Extending the Formalism and Theoretical Foundations of Cryptography to AI
von: Villa, Federico, et al.
Veröffentlicht: (2026)

Security Analysis and Threat Modeling of Research Management Applications [Extended Version]
von: Sindala, Boniface M., et al.
Veröffentlicht: (2025)

On Kernel's Safety in the Spectre Era (Extended Version)
von: Davoli, Davide, et al.
Veröffentlicht: (2024)

CoFHEE: A Co-processor for Fully Homomorphic Encryption Execution (Extended Version)
von: Nabeel, Mohammed, et al.
Veröffentlicht: (2022)

On Separation Logic, Computational Independence, and Pseudorandomness (Extended Version)
von: Lago, Ugo Dal, et al.
Veröffentlicht: (2024)

A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
von: Capretto, Margarita, et al.
Veröffentlicht: (2025)

APOLLO: A GPT-based tool to detect phishing emails and generate explanations that warn users
von: Desolda, Giuseppe, et al.
Veröffentlicht: (2024)

REBENCH: A Procedural, Fair-by-Construction Benchmark for LLMs on Stripped-Binary Types and Names (Extended Version)
von: Won, Jun Yeon, et al.
Veröffentlicht: (2026)

Software-Based Memory Erasure with relaxed isolation requirements: Extended Version
von: Bursuc, Sergiu, et al.
Veröffentlicht: (2024)

FlexEmu: Towards Flexible MCU Peripheral Emulation (Extended Version)
von: Lei, Chongqing, et al.
Veröffentlicht: (2025)

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version)
von: Davoli, Davide, et al.
Veröffentlicht: (2024)

Snorkeling in dark waters: A longitudinal surface exploration of unique Tor Hidden Services (Extended Version)
von: Barredo-Valenzuela, Alfonso Rodriguez, et al.
Veröffentlicht: (2025)

Last-Level Cache Side-Channel Attacks Are Feasible in the Modern Public Cloud (Extended Version)
von: Zhao, Zirui Neil, et al.
Veröffentlicht: (2024)

Stack Overflow Meets Replication: Security Research Amid Evolving Code Snippets (Extended Version)
von: Jallow, Alfusainey, et al.
Veröffentlicht: (2025)

Time Tells All: Deanonymization of Blockchain RPC Users with Zero Transaction Fee (Extended Version)
von: Wang, Shan, et al.
Veröffentlicht: (2025)

Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors (Extended Version)
von: Winderix, Hans, et al.
Veröffentlicht: (2024)

Library-Attack: Reverse Engineering Approach for Evaluating Hardware IP Protection
von: Dasgupta, Aritra, et al.
Veröffentlicht: (2025)

Can Large Language Models Automate Phishing Warning Explanations? A Controlled Experiment on Effectiveness and User Perception
von: Cau, Federico Maria, et al.
Veröffentlicht: (2025)

Oreo: Protecting ASLR Against Microarchitectural Attacks (Extended Version)
von: Song, Shixin, et al.
Veröffentlicht: (2024)

Automated Repair of OpenID Connect Programs (Extended Version)
von: Rahat, Tamjid Al, et al.
Veröffentlicht: (2025)

Cassandra: Efficient Enforcement of Sequential Execution for Cryptographic Programs (Extended Version)
von: Hajiabadi, Ali, et al.
Veröffentlicht: (2024)

Intriguing Properties of Adversarial ML Attacks in the Problem Space [Extended Version]
von: Cortellazzi, Jacopo, et al.
Veröffentlicht: (2019)

Towards Reliable and Generalizable Differentially Private Machine Learning (Extended Version)
von: Bao, Wenxuan, et al.
Veröffentlicht: (2025)

Time will Tell: Large-scale De-anonymization of Hidden I2P Services via Live Behavior Alignment (Extended Version)
von: Wang, Hongze, et al.
Veröffentlicht: (2025)

Analyzing Healthcare Interoperability Vulnerabilities: Formal Modeling and Graph-Theoretic Approach
von: Mohammed, Jawad, et al.
Veröffentlicht: (2026)

Extending XReason: Formal Explanations for Adversarial Detection
von: Jemaa, Amira, et al.
Veröffentlicht: (2024)

Bridging Threat Models and Detections: Formal Verification via CADP
von: Prelipcean, Dumitru-Bogdan, et al.
Veröffentlicht: (2025)

SLIP-SEC: Formalizing Secure Protocols for Model IP Protection
von: Jain, Racchit, et al.
Veröffentlicht: (2025)

MARVEL: Multi-Agent RTL Vulnerability Extraction using Large Language Models
von: Collini, Luca, et al.
Veröffentlicht: (2025)

On the Formalization of Cryptographic Migration
von: Loebenberger, Daniel, et al.
Veröffentlicht: (2024)

CIPHR: Cryptography Inspired IP Protection through Fine-Grain Hardware Redaction
von: Dasgupta, Aritra, et al.
Veröffentlicht: (2026)

A Formal Model of Security Controls' Capabilities and Its Applications to Policy Refinement and Incident Management
von: Basile, Cataldo, et al.
Veröffentlicht: (2024)

Formal Verification of Permission Voucher
von: Reaz, Khan, et al.
Veröffentlicht: (2024)

Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version)
von: Bella, Giampaolo, et al.
Veröffentlicht: (2021)

Zero Trust Cybersecurity: Procedures and Considerations in Context
von: Lund, Brady D., et al.
Veröffentlicht: (2025)

Analysing and Patching SPEKE in ISO/IEC
von: Hao, Feng, et al.
Veröffentlicht: (2018)

PassViz: A Visualisation System for Analysing Leaked Passwords
von: Parker, Sam, et al.
Veröffentlicht: (2023)

ExtendAttack: Attacking Servers of LRMs via Extending Reasoning
von: Zhu, Zhenhao, et al.
Veröffentlicht: (2025)