25 on this site · 0 links
On this siterelevancedate25
NERVE Attacks: Breaking AI-Powered Brain-Computer Interfaces1st Sep 2026#ai#hci#preprint#securityWhat if we could hot swap our Biometrics?1st Sep 2025#biometrics#preprint#securityEmission Impossible: privacy-preserving carbon emissions claims1st Jun 2025#carbon#emissions#preprint#security#zkpModularizing Reasoning about AI Capabilities via Abstract Dijkstra Monads1st Sep 2024#ai#conference#formal#securityGlobal, robust and comparable digital carbon assets1st Apr 2024#4c#carboncredits#conference#crypto#distributedInformation Flow Tracking for Heterogeneous Compartmentalized Software1st Oct 2023#conference#difc#difc-tee#security#systemsEnabling Lightweight Privilege Separation in Applications with MicroGuards1st Oct 2023#conference#difc-tee#linux#os#securityEnhancing the Security & Privacy of Wearable Brain-Computer Interfaces1st Jan 2022#brain#embedded#preprint#security#systemsSnape: The Dark Art of Handling Heterogeneous Enclaves1st Mar 2019#conference#difc-tee#kernel#security#systemsPersonal Data: Thinking Inside the Box1st Oct 2015#databox#journal#perscon#privacy#securityNot-Quite-So-Broken TLS1st Aug 2015#conference#mirageos#ocaml#security#unikernelsJitsu: Just-In-Time Summoning of Unikernels1st May 2015#conference#dns#embedded#mirageos#securityLost in the Edge: Finding Your Way with DNSSEC Signposts1st Aug 2013#conference#distributed#dns#networks#persconUnikernels: library operating systems for the cloud1st Mar 2013#cloud#conference#mirageos#ocaml#securityExploring Compartmentalisation Hypotheses with SOAAP1st Sep 2012#conference#security#systemsTurning Down the LAMP: Software Specialisation for the Cloud1st Jun 2010#cloud#conference#mirageos#ocaml#securityUsing Dust Clouds to Enhance Anonymous Communication1st Mar 2010#cloud#conference#distributed#security#torCombining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language1st Nov 2009#conference#dsl#formal#fp#melangeEnhancing web browsing security on public terminals using mobile composition1st Jun 2008#browser#conference#javascript#mobile#securityMelange: creating a "functional" internet1st Jun 2007#award#dsl#fp#internet#journal