Unlinkability and History Preserving Bisimilarity
Fuente:
arXiv
Salvato in:
| Autori principali: | Aubert, Clément, Horne, Ross, Johansen, Christian, Mauw, Sjouke |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Empirical Evaluation of Memory-Erasure Protocols
di: Gil-Pons, Reynaldo, et al.
Pubblicazione: (2025)
di: Gil-Pons, Reynaldo, et al.
Pubblicazione: (2025)
Software-Based Memory Erasure with relaxed isolation requirements: Extended Version
di: Bursuc, Sergiu, et al.
Pubblicazione: (2024)
di: Bursuc, Sergiu, et al.
Pubblicazione: (2024)
Bits for Privacy: Evaluating Post-Training Quantization via Membership Inference
di: Zhang, Chenxiang, et al.
Pubblicazione: (2025)
di: Zhang, Chenxiang, et al.
Pubblicazione: (2025)
SD-BLS: Privacy Preserving Selective Disclosure of Verifiable Credentials with Unlinkable Threshold Revocation
di: Roio, Denis, et al.
Pubblicazione: (2024)
di: Roio, Denis, et al.
Pubblicazione: (2024)
Automated generation of attack trees with optimal shape and labelling
di: Gadyatskaya, Olga, et al.
Pubblicazione: (2023)
di: Gadyatskaya, Olga, et al.
Pubblicazione: (2023)
UPPRESSO: Untraceable and Unlinkable Privacy-PREserving Single Sign-On Services
di: Guo, Chengqian, et al.
Pubblicazione: (2021)
di: Guo, Chengqian, et al.
Pubblicazione: (2021)
DTL: Data Tumbling Layer. A Composable Unlinkability for Smart Contracts
di: Minaei, Mohsen, et al.
Pubblicazione: (2025)
di: Minaei, Mohsen, et al.
Pubblicazione: (2025)
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity
di: Esposito, Andrea, et al.
Pubblicazione: (2023)
di: Esposito, Andrea, et al.
Pubblicazione: (2023)
Brewer-Nash Scrutinised: Mechanised Checking of Policies featuring Write Revocation
di: Capozucca, Alfredo, et al.
Pubblicazione: (2024)
di: Capozucca, Alfredo, et al.
Pubblicazione: (2024)
LightSC: The Making of a Usable Security Classification Tool for DevSecOps
di: Shrestha, Manish, et al.
Pubblicazione: (2024)
di: Shrestha, Manish, et al.
Pubblicazione: (2024)
A Comparative Analysis of Lightweight Hash Functions Using AVR ATXMega128 and ChipWhisperer
di: Khan, Mohsin, et al.
Pubblicazione: (2025)
di: Khan, Mohsin, et al.
Pubblicazione: (2025)
Holding Secrets Accountable: Auditing Privacy-Preserving Machine Learning
di: Lycklama, Hidde, et al.
Pubblicazione: (2024)
di: Lycklama, Hidde, et al.
Pubblicazione: (2024)
Verifiable Privacy-Preserving Computing
di: Bontekoe, Tariq, et al.
Pubblicazione: (2023)
di: Bontekoe, Tariq, et al.
Pubblicazione: (2023)
Privacy-Preserving Inconsistency Measurement
di: Corea, Carl, et al.
Pubblicazione: (2025)
di: Corea, Carl, et al.
Pubblicazione: (2025)
Privacy-Preserving Screening for Record Linkage
di: Huang, Chenyu, et al.
Pubblicazione: (2026)
di: Huang, Chenyu, et al.
Pubblicazione: (2026)
Privacy-Preserving Billing for Local Energy Markets
di: Alqahtani, Eman, et al.
Pubblicazione: (2024)
di: Alqahtani, Eman, et al.
Pubblicazione: (2024)
Ariadne: a Privacy-Preserving Communication Protocol
di: Fressancourt, Antoine, et al.
Pubblicazione: (2024)
di: Fressancourt, Antoine, et al.
Pubblicazione: (2024)
Privacy-Preserving Identifier Checking in 5G
di: Gräfenstein, Marcel D. S. K., et al.
Pubblicazione: (2025)
di: Gräfenstein, Marcel D. S. K., et al.
Pubblicazione: (2025)
Knowledge-Assisted Privacy Preserving in Semantic Communication
di: Liu, Xuesong, et al.
Pubblicazione: (2024)
di: Liu, Xuesong, et al.
Pubblicazione: (2024)
Privacy-Preserving Authentication: Theory vs. Practice
di: Slamanig, Daniel
Pubblicazione: (2025)
di: Slamanig, Daniel
Pubblicazione: (2025)
Probabilistic Counters for Privacy Preserving Data Aggregation
di: Bojko, Dominik, et al.
Pubblicazione: (2020)
di: Bojko, Dominik, et al.
Pubblicazione: (2020)
FL-DECO-BC: A Privacy-Preserving, Provably Secure, and Provenance-Preserving Federated Learning Framework with Decentralized Oracles on Blockchain for VANETs
di: Narkedimilli, Sathwik, et al.
Pubblicazione: (2024)
di: Narkedimilli, Sathwik, et al.
Pubblicazione: (2024)
Distance-Preserving Digests: A Primitive for BFT Consensus
di: Mercier, Ryan Patrick
Pubblicazione: (2026)
di: Mercier, Ryan Patrick
Pubblicazione: (2026)
Preserving Target Distributions With Differentially Private Count Mechanisms
di: Kohli, Nitin, et al.
Pubblicazione: (2026)
di: Kohli, Nitin, et al.
Pubblicazione: (2026)
Epass: Efficient and Privacy-Preserving Asynchronous Payment on Blockchain
di: Wang, Weijie, et al.
Pubblicazione: (2025)
di: Wang, Weijie, et al.
Pubblicazione: (2025)
Privacy-Preserving Traceable Functional Encryption for Inner Product
di: Qiu, Muyao, et al.
Pubblicazione: (2024)
di: Qiu, Muyao, et al.
Pubblicazione: (2024)
Efficient Privacy-Preserving Approximation of the Kidney Exchange Problem
di: Breuer, Malte, et al.
Pubblicazione: (2023)
di: Breuer, Malte, et al.
Pubblicazione: (2023)
Privacy-Preserving Logistic Regression Training on Large Datasets
di: Chiang, John
Pubblicazione: (2024)
di: Chiang, John
Pubblicazione: (2024)
Unveiling the Attribute Misbinding Threat in Identity-Preserving Models
di: Fu, Junming, et al.
Pubblicazione: (2025)
di: Fu, Junming, et al.
Pubblicazione: (2025)
A Survey on Privacy-Preserving Computing in the Automotive Domain
di: Yuca, Nergiz, et al.
Pubblicazione: (2025)
di: Yuca, Nergiz, et al.
Pubblicazione: (2025)
CURE: Privacy-Preserving Split Learning Done Right
di: Kanpak, Halil Ibrahim, et al.
Pubblicazione: (2024)
di: Kanpak, Halil Ibrahim, et al.
Pubblicazione: (2024)
Generative AI for Secure and Privacy-Preserving Mobile Crowdsensing
di: Yang, Yaoqi, et al.
Pubblicazione: (2024)
di: Yang, Yaoqi, et al.
Pubblicazione: (2024)
Privacy-Preserving Federated Unlearning with Certified Client Removal
di: Liu, Ziyao, et al.
Pubblicazione: (2024)
di: Liu, Ziyao, et al.
Pubblicazione: (2024)
Striking Back At Cobalt: Using Network Traffic Metadata To Detect Cobalt Strike Masquerading Command and Control Channels
di: Parssegny, Clément, et al.
Pubblicazione: (2025)
di: Parssegny, Clément, et al.
Pubblicazione: (2025)
Microbenchmarking Cloud Cryptographic Workloads for Privacy-Preserving Healthcare IoT
di: Webb, Jeremiah L., et al.
Pubblicazione: (2026)
di: Webb, Jeremiah L., et al.
Pubblicazione: (2026)
Privacy-Preserving Local Energy Trading Considering Network Fees
di: Alqahtani, Eman, et al.
Pubblicazione: (2026)
di: Alqahtani, Eman, et al.
Pubblicazione: (2026)
ShapeMark: Robust and Diversity-Preserving Watermarking for Diffusion Models
di: Qian, Yuqi, et al.
Pubblicazione: (2026)
di: Qian, Yuqi, et al.
Pubblicazione: (2026)
PRAG: End-to-End Privacy-Preserving Retrieval-Augmented Generation
di: Li, Zhijun, et al.
Pubblicazione: (2026)
di: Li, Zhijun, et al.
Pubblicazione: (2026)
Proteus: A Practical Framework for Privacy-Preserving Device Logs
di: Goutam, Sanket, et al.
Pubblicazione: (2026)
di: Goutam, Sanket, et al.
Pubblicazione: (2026)
Towards Privacy-Preserving Revocation of Verifiable Credentials with Time-Flexibility
di: Buccafurri, Francesco, et al.
Pubblicazione: (2025)
di: Buccafurri, Francesco, et al.
Pubblicazione: (2025)
Documenti analoghi
-
Empirical Evaluation of Memory-Erasure Protocols
di: Gil-Pons, Reynaldo, et al.
Pubblicazione: (2025) -
Software-Based Memory Erasure with relaxed isolation requirements: Extended Version
di: Bursuc, Sergiu, et al.
Pubblicazione: (2024) -
Bits for Privacy: Evaluating Post-Training Quantization via Membership Inference
di: Zhang, Chenxiang, et al.
Pubblicazione: (2025) -
SD-BLS: Privacy Preserving Selective Disclosure of Verifiable Credentials with Unlinkable Threshold Revocation
di: Roio, Denis, et al.
Pubblicazione: (2024) -
Automated generation of attack trees with optimal shape and labelling
di: Gadyatskaya, Olga, et al.
Pubblicazione: (2023)