Imagen de Portada

Towards a DSL for hybrid secure computation

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	de Laage, Romain
Formato:	Preprint
Publicado:	2025
Materias:	Cryptography and Security
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Practical Secure Aggregation by Combining Cryptography and Trusted Execution Environments
por: de Laage, Romain, et al.
Publicado: (2025)

Clap: a Semantic-Preserving Optimizing eDSL for Plonkish Proof Systems
por: Stronati, Marco, et al.
Publicado: (2024)

Towards practical secure delegated quantum computing with semi-classical light
por: Bourdoncle, Boris, et al.
Publicado: (2024)

nodeWSNsec: A hybrid metaheuristic approach for reliable security and node deployment in WSNs
por: Mishra, Rahul, et al.
Publicado: (2025)

The impact of quantum computing on real-world security: A 5G case study
por: Mitchell, Chris J
Publicado: (2019)

Automated Repair of TEE Partitioning Issues via DSL-Guided and LLM-Assisted Patching
por: Ma, Chengyan, et al.
Publicado: (2026)

The Reverse File System: Towards open cost-effective secure WORM storage devices for logging
por: Múzquiz, Gorka Guardiola, et al.
Publicado: (2025)

Blockchain security based on cryptography: a review
por: Zhou, Wenwen, et al.
Publicado: (2025)

Blockchain security for ransomware detection
por: Mutombo, Elodie Ngoie, et al.
Publicado: (2024)

Multi-channel secure communication framework for wireless IoT (MCSC-WoT): enhancing security in Internet of Things
por: Barman, Prokash, et al.
Publicado: (2025)

Practical hybrid PQC-QKD protocols with enhanced security and performance
por: Zeng, Pei, et al.
Publicado: (2024)

Uncertainty in security: managing cyber senescence
por: Dekker, Martijn
Publicado: (2025)

Hash chaining degrades security at Facebook
por: Rivasseau, Thomas
Publicado: (2025)

On the security of 2-key triple DES
por: Mitchell, Chris J
Publicado: (2016)

Hornet Node and the Hornet DSL: A Minimal, Executable Specification for Bitcoin Consensus
por: Sharp, Toby
Publicado: (2025)

A security framework for Ethereum smart contracts
por: Vivar, Antonio López, et al.
Publicado: (2024)

The order-theoretical foundation for data flow security
por: Logrippo, Luigi
Publicado: (2024)

On the (In)security of optimized Stern-like signature schemes
por: Chailloux, André, et al.
Publicado: (2024)

Electric Democracy: Proof of Work to secure Elections
por: Zuevsky, Vitaly
Publicado: (2022)

Towards automated formal security analysis of SAML V2.0 Web Browser SSO standard -- the POST/Artifact use case
por: Hartl, Zvonimir, et al.
Publicado: (2024)

Development and analysis of a secured VoIP system for surveillance activities
por: Ali, M. Matsive
Publicado: (2025)

Connectedness: a dimension of security bug severity assessment for measuring uncertainty
por: Chan, Shue Long
Publicado: (2025)

Presenting a new approach in security in inter-vehicle networks (VANET)
por: Yousefi, Davoud, et al.
Publicado: (2024)

Lockcoin: a secure and privacy-preserving mix service for bitcoin anonymity
por: Bao, Zijian, et al.
Publicado: (2018)

Cyber security of OT networks: A tutorial and overview
por: Kapoor, Sarthak, et al.
Publicado: (2025)

On the (in)security of Proofs-of-Space based Longest-Chain Blockchains
por: Baig, Mirza Ahad, et al.
Publicado: (2025)

Ejafa_protocol: A custom INC secure protocol
por: Bassam, Ejafa
Publicado: (2024)

A quantitative notion of economic security for smart contract compositions
por: Priyadarshini, Emily, et al.
Publicado: (2025)

The current state of security -- Insights from the German software industry
por: Langstrof, Timo, et al.
Publicado: (2024)

POSTER: Testing network-based RTK for GNSS receiver security
por: Spanghero, Marco, et al.
Publicado: (2024)

Leveraging Blockchain and Proxy Re-Encryption to secure Medical IoT Records
por: Jabri, Abdou-Essamad, et al.
Publicado: (2025)

Testing side-channel security of cryptographic implementations against future microarchitectures
por: Barthe, Gilles, et al.
Publicado: (2024)

Homomorphic Polynomial Public Key Cryptography for Quantum-secure Digital Signature
por: Kuang, Randy, et al.
Publicado: (2023)

sec-certs: Examining the security certification practice for better vulnerability mitigation
por: Janovsky, Adam, et al.
Publicado: (2023)

Attack Tree Distance: a practical examination of tree difference measurement within cyber security
por: Schiele, Nathan D., et al.
Publicado: (2025)

Individual and Contextual Variables of Cyber Security Behaviour -- An empirical analysis of national culture, industry, organisation, and individual variables of (in)secure human behaviour
por: de Bruin, Marten, et al.
Publicado: (2024)

Diamond: End-to-End Forward-secure and Compact Authenticated Encryption for Internet of Things
por: Nouma, Saif E., et al.
Publicado: (2026)

Proactive security defense: cyber threat intelligence modeling for connected autonomous vehicles
por: Wang, Yinghui, et al.
Publicado: (2024)

SPML: A DSL for Defending Language Models Against Prompt Attacks
por: Sharma, Reshabh K, et al.
Publicado: (2024)

The impact of mobility, beam sweeping and smart jammers on security vulnerabilities of 5G cells
por: Asemian, Ghazal, et al.
Publicado: (2024)