:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Brito, Eduardo, Castillo, Fernando, Kamm, Liina, Hadachi, Amnir, Norbisrath, Ulrich
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	https://arxiv.org/abs/2508.14230
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Decentralized Proof-of-Location for Content Provenance: Towards Capture-Time Authenticity
by: Brito, Eduardo, et al.
Published: (2026)

Where Trust Fails: Mapping Location-Data Provenance Risks in Europe
by: Brito, Eduardo, et al.
Published: (2026)

SynthGuard: Redefining Synthetic Data Generation with a Scalable and Privacy-Preserving Workflow Framework
by: Brito, Eduardo, et al.
Published: (2025)

Zero-Knowledge Proof-of-Location Protocols for Vehicle Subsidies and Taxation Compliance
by: Bogdanov, Dan, et al.
Published: (2025)

Trustworthy Decentralized Autonomous Machines: A New Paradigm in Automation Economy
by: Castillo, Fernando, et al.
Published: (2025)

ProLoc: Robust Location Proofs in Hindsight
by: De Viti, Roberta, et al.
Published: (2024)

An Evidence-driven Protocol for Trustworthy CI Pipelines
by: Castillo, Fernando, et al.
Published: (2026)

Blockchain Based Zero-Knowledge Proof of Location in IoT
by: Wu, Wei, et al.
Published: (2024)

A Taxonomy of Functional Security Features and How They Can Be Located
by: Hermann, Kevin, et al.
Published: (2025)

Context-Binding Gaps in Stateful Zero-Knowledge Proximity Proofs: Taxonomy, Separation, and Mitigation
by: Ootani, Yoshiyuki
Published: (2026)

Towards Trusted Service Monitoring: Verifiable Service Level Agreements
by: Castillo, Fernando, et al.
Published: (2025)

Taxonomy for Cybersecurity Threat Attributes and Countermeasures in Smart Manufacturing Systems
by: Rahman, Md Habibor, et al.
Published: (2023)

Guardian Positioning System (GPS) for Location Based Services
by: Liu, Wenjie, et al.
Published: (2025)

Temporal Analysis Framework for Intrusion Detection Systems: A Novel Taxonomy for Time-Aware Cybersecurity
by: Parlanti, Tatiana S., et al.
Published: (2025)

Towards an Improved Taxonomy of Attacks related to Digital Identities and Identity Management Systems
by: Pöhn, Daniela, et al.
Published: (2024)

Graduated Trust Gating for IoT Location Verification: Trading Off Detection and Proof Escalation
by: Ootani, Yoshiyuki
Published: (2026)

OpenSCV: An Open Hierarchical Taxonomy for Smart Contract Vulnerabilities
by: Vidal, Fernando Richter, et al.
Published: (2023)

PAC to the Future: Zero-Knowledge Proofs of PAC Private Systems
by: Repetto, Guilhem, et al.
Published: (2026)

Privacy Analysis of Samsung's Crowd-Sourced Bluetooth Location Tracking System
by: Yu, Tingfeng, et al.
Published: (2022)

Protecting Vehicle Location Privacy with Contextually-Driven Synthetic Location Generation
by: Yadav, Sourabh, et al.
Published: (2024)

Proofs of No Intrusion
by: Goyal, Vipul, et al.
Published: (2025)

Crypto-asset Taxonomy for Investors and Regulators
by: Zhang, Xiao, et al.
Published: (2026)

Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains
by: Chatterjee, Krishnendu, et al.
Published: (2024)

Trusted Compute Units: A Framework for Chained Verifiable Computations
by: Castillo, Fernando, et al.
Published: (2025)

GPU Fingerprinting for Location Verification
by: Tee, Wayne, et al.
Published: (2026)

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

SoK: A Taxonomy for Distributed-Ledger-Based Identity Management
by: Vaziry, Awid, et al.
Published: (2025)

Advancing Security in Software-Defined Vehicles: A Comprehensive Survey and Taxonomy
by: Sghaier, Khaoula, et al.
Published: (2025)

STRIKE: A Structured Taxonomy of Cybercrime for Risk, Impact, Knowledge, and Evolution
by: Pappy, Melissa, et al.
Published: (2026)

Toward a Quantum Information System Cybersecurity Taxonomy and Testbed: Exploiting a Unique Opportunity for Early Impact
by: Blakely, Benjamin, et al.
Published: (2024)

A Taxonomy of System-Level Attacks on Deep Learning Models in Autonomous Vehicles
by: Tehrani, Masoud Jamshidiyan, et al.
Published: (2024)

Uncertain Location Transmitter and UAV-Aided Warden Based LEO Satellite Covert Communication Systems
by: Peng, Pei, et al.
Published: (2025)

Automated Market Makers in Cryptoeconomic Systems: A Taxonomy and Archetypes
by: Kirste, Daniel, et al.
Published: (2023)

Historical and Multichain Storage Proofs
by: Kirejczyk, Marek, et al.
Published: (2024)

Mitigating Collusion in Proofs of Liabilities
by: Mohamed, Malcom, et al.
Published: (2026)

Rethinking Denial-of-Service: A Conditional Taxonomy Unifying Availability and Sustainability Threats
by: Dorsett, Mark, et al.
Published: (2025)

Zero-Knowledge Proof Frameworks: A Systematic Survey
by: Sheybani, Nojan, et al.
Published: (2025)

Hesperus is Phosphorus: Mapping Threat Actor Naming Taxonomies at Scale
by: Roa, Gonzalo, et al.
Published: (2025)

Towards a Systematic Taxonomy of Attacks against Space Infrastructures
by: Remy, Jose Luis Castanon, et al.
Published: (2025)

Cyber Risk Assessment for Cyber-Physical Systems: A Review of Methodologies and Recommendations for Improved Assessment Effectiveness
by: AlHarmali, Asila, et al.
Published: (2024)