Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Sandu, Ioana, Borgo, Rita, Dasgupta, Prokar, Thurairaja, Ramesh, Viganò, Luca
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

User Identification Procedures with Human Mutations: Formal Analysis and Pilot Study (Extended Version)
di: Quamara, Megha, et al.
Pubblicazione: (2025)

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

Extending the Formalism and Theoretical Foundations of Cryptography to AI
di: Villa, Federico, et al.
Pubblicazione: (2026)

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

On Kernel's Safety in the Spectre Era (Extended Version)
di: Davoli, Davide, et al.
Pubblicazione: (2024)

CoFHEE: A Co-processor for Fully Homomorphic Encryption Execution (Extended Version)
di: Nabeel, Mohammed, et al.
Pubblicazione: (2022)

On Separation Logic, Computational Independence, and Pseudorandomness (Extended Version)
di: Lago, Ugo Dal, et al.
Pubblicazione: (2024)

A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
di: Capretto, Margarita, et al.
Pubblicazione: (2025)

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

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

Software-Based Memory Erasure with relaxed isolation requirements: Extended Version
di: Bursuc, Sergiu, et al.
Pubblicazione: (2024)

FlexEmu: Towards Flexible MCU Peripheral Emulation (Extended Version)
di: Lei, Chongqing, et al.
Pubblicazione: (2025)

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version)
di: Davoli, Davide, et al.
Pubblicazione: (2024)

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

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

Stack Overflow Meets Replication: Security Research Amid Evolving Code Snippets (Extended Version)
di: Jallow, Alfusainey, et al.
Pubblicazione: (2025)

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

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

Library-Attack: Reverse Engineering Approach for Evaluating Hardware IP Protection
di: Dasgupta, Aritra, et al.
Pubblicazione: (2025)

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

Oreo: Protecting ASLR Against Microarchitectural Attacks (Extended Version)
di: Song, Shixin, et al.
Pubblicazione: (2024)

Automated Repair of OpenID Connect Programs (Extended Version)
di: Rahat, Tamjid Al, et al.
Pubblicazione: (2025)

Cassandra: Efficient Enforcement of Sequential Execution for Cryptographic Programs (Extended Version)
di: Hajiabadi, Ali, et al.
Pubblicazione: (2024)

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

Towards Reliable and Generalizable Differentially Private Machine Learning (Extended Version)
di: Bao, Wenxuan, et al.
Pubblicazione: (2025)

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

Analyzing Healthcare Interoperability Vulnerabilities: Formal Modeling and Graph-Theoretic Approach
di: Mohammed, Jawad, et al.
Pubblicazione: (2026)

Extending XReason: Formal Explanations for Adversarial Detection
di: Jemaa, Amira, et al.
Pubblicazione: (2024)

Bridging Threat Models and Detections: Formal Verification via CADP
di: Prelipcean, Dumitru-Bogdan, et al.
Pubblicazione: (2025)

SLIP-SEC: Formalizing Secure Protocols for Model IP Protection
di: Jain, Racchit, et al.
Pubblicazione: (2025)

MARVEL: Multi-Agent RTL Vulnerability Extraction using Large Language Models
di: Collini, Luca, et al.
Pubblicazione: (2025)

On the Formalization of Cryptographic Migration
di: Loebenberger, Daniel, et al.
Pubblicazione: (2024)

CIPHR: Cryptography Inspired IP Protection through Fine-Grain Hardware Redaction
di: Dasgupta, Aritra, et al.
Pubblicazione: (2026)

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

Formal Verification of Permission Voucher
di: Reaz, Khan, et al.
Pubblicazione: (2024)

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

Zero Trust Cybersecurity: Procedures and Considerations in Context
di: Lund, Brady D., et al.
Pubblicazione: (2025)

Analysing and Patching SPEKE in ISO/IEC
di: Hao, Feng, et al.
Pubblicazione: (2018)

PassViz: A Visualisation System for Analysing Leaked Passwords
di: Parker, Sam, et al.
Pubblicazione: (2023)

ExtendAttack: Attacking Servers of LRMs via Extending Reasoning
di: Zhu, Zhenhao, et al.
Pubblicazione: (2025)