Buchumschlag

vApps: Verifiable Applications at Internet Scale

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhang, Isaac, Kulkarni, Kshitij, Li, Tan, Wong, Daniel, Kim, Thomas, Guibas, John, Roy, Uma, Pellegrino, Bryan, Zarick, Ryan
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Cryptography and Security Computers and Society
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

LayerZero
von: Zarick, Ryan, et al.
Veröffentlicht: (2023)

ZeroOS: A Universal Modular Library OS for zkVMs
von: Zou, Guangxian, et al.
Veröffentlicht: (2025)

What's on Your Mind? Exploring Privacy of Mental Health Apps
von: Georgiou, Chloe, et al.
Veröffentlicht: (2026)

mopri - An Analysis Framework for Unveiling Privacy Violations in Mobile Apps
von: Ziepel, Cornell, et al.
Veröffentlicht: (2026)

HIPAAChecker: The Comprehensive Solution for HIPAA Compliance in Android mHealth Apps
von: Saha, Bilash, et al.
Veröffentlicht: (2023)

Evaluating Privacy Measures in Healthcare Apps Predominantly Used by Older Adults
von: Saka, Suleiman, et al.
Veröffentlicht: (2024)

Surveillance Disguised as Protection: A Comparative Analysis of Sideloaded and In-Store Parental Control Apps
von: Maier, Eva-Maria, et al.
Veröffentlicht: (2025)

A Survey on Decentralized Identifiers and Verifiable Credentials
von: Mazzocca, Carlo, et al.
Veröffentlicht: (2024)

Infrastructure for Valuable, Tradable, and Verifiable Agent Memory
von: Li, Mengyuan, et al.
Veröffentlicht: (2026)

Private Electronic Payments with Self-Custody and Zero-Knowledge Verified Reissuance
von: Friolo, Daniele, et al.
Veröffentlicht: (2024)

National Treasure: The Call for e-Democracy and US Election Security
von: Wong, Adam Dorian
Veröffentlicht: (2024)

Developers Insight On Manifest v3 Privacy and Security Webextensions
von: Polčák, Libor, et al.
Veröffentlicht: (2025)

An Internet Voting System Fatally Flawed in Creative New Ways
von: Appel, Andrew W., et al.
Veröffentlicht: (2024)

vSPACE: Voting in a Scalable, Privacy-Aware and Confidential Election
von: Elnour, Se, et al.
Veröffentlicht: (2024)

CyMed: A Framework for Testing Cybersecurity of Connected Medical Devices
von: Scherb, Christopher, et al.
Veröffentlicht: (2023)

Private, Verifiable, and Auditable AI Systems
von: South, Tobin
Veröffentlicht: (2025)

TRIP: Coercion-resistant Registration for E-Voting with Verifiability and Usability in Votegral
von: Merino, Louis-Henri, et al.
Veröffentlicht: (2022)

SoK: Reviewing Two Decades of Security, Privacy, Accessibility, and Usability Studies on Internet of Things for Older Adults
von: Saka, Suleiman, et al.
Veröffentlicht: (2025)

Abusing the Internet of Medical Things: Evaluating Threat Models and Forensic Readiness for Multi-Vector Attacks on Connected Healthcare Devices
von: Straw, Isabel, et al.
Veröffentlicht: (2026)

Defending Against Intelligent Attackers at Large Scales
von: Lohn, Andrew J.
Veröffentlicht: (2025)

A Large-Scale Study of Telegram Bots
von: Tsuchiya, Taro, et al.
Veröffentlicht: (2026)

Handling Pandemic-Scale Cyber Threats: Lessons from COVID-19
von: Shostack, Adam, et al.
Veröffentlicht: (2024)

Analysing Multidisciplinary Approaches to Fight Large-Scale Digital Influence Operations
von: Arroyo, David, et al.
Veröffentlicht: (2025)

Internet Sanctions on Russian Media: Actions and Effects
von: Kristoff, John, et al.
Veröffentlicht: (2024)

Information Security in Small-Scale Protests: Surveillance of Ugandan Anti-EACOP Protesters
von: Mbabazi, Ntezi, et al.
Veröffentlicht: (2026)

Prompt Injection Vulnerability of Consensus Generating Applications in Digital Democracy
von: Gudiño-Rosero, Jairo, et al.
Veröffentlicht: (2025)

How to Manage My Data? With Machine--Interpretable GDPR Rights!
von: Esteves, Beatriz, et al.
Veröffentlicht: (2024)

Cryptographic Runtime Governance for Autonomous AI Systems: The Aegis Architecture for Verifiable Policy Enforcement
von: Mazzocchetti, Adam Massimo
Veröffentlicht: (2026)

New Quantum Internet Applications via Verifiable One-Time Programs
von: Stambler, Lev
Veröffentlicht: (2025)

Application of Hybrid Chain Storage Framework in Energy Trading and Carbon Asset Management
von: Hou, Yinghan, et al.
Veröffentlicht: (2026)

Blockchain in Healthcare and Medicine: A Contemporary Research of Applications, Challenges, and Future Perspectives
von: Ullah, H. Sami, et al.
Veröffentlicht: (2020)

A Regulatory Compliance Protocol for Asset Interoperability Between Traditional and Decentralized Finance in Tokenized Capital Markets
von: Kim, Jinwook, et al.
Veröffentlicht: (2026)

Beyond Privacy Trade-offs with Structured Transparency
von: Trask, Andrew, et al.
Veröffentlicht: (2020)

A Review on Internet of Things for Defense and Public Safety
von: Fraga-Lamas, Paula, et al.
Veröffentlicht: (2024)

Binge, Bot, Repeat: Unpacking the Ecosystem of Video Piracy on Telegram
von: Gyawali, Sadikshya, et al.
Veröffentlicht: (2026)

The Trajectory of Romance Scams in the U.S
von: Herrera, LD, et al.
Veröffentlicht: (2024)

A High-performance Real-time Container File Monitoring Approach Based on Virtual Machine Introspection
von: Tan, Kai, et al.
Veröffentlicht: (2025)

A Common Pool of Privacy Problems: Legal and Technical Lessons from a Large-Scale Web-Scraped Machine Learning Dataset
von: Hong, Rachel, et al.
Veröffentlicht: (2025)

The TCF doesn't really A(A)ID -- Automatic Privacy Analysis and Legal Compliance of TCF-based Android Applications
von: Morel, Victor, et al.
Veröffentlicht: (2026)

KeyDroid: A Large-Scale Analysis of Secure Key Storage in Android Apps
von: Blessing, Jenny, et al.
Veröffentlicht: (2025)