Pacemakers and Implantable Cardiac Defibrillators: Software Radio Attacks and Zero-Power Defenses Daniel Halperin† Thomas S. Heydt-Benjamin†

Source URL: www.secure-medicine.org

• Cardiac electrophysiology
• Medical devices
• Neuroprosthetics
• Medicine
• Technology
• Computing
• Cybernetics
• Implantable cardioverter-defibrillator
• International Statistical Classification of Diseases and Related Health Problems
• Universal Software Radio Peripheral
• Artificial cardiac pacemaker
• Radio-frequency identification

A Security Analysis of Police Computer Systems Benjamin VanderSloot∗ Stuart Wheaton∗ J. Alex Halderman

Source URL: benvds.com

• Computer security
• Computing
• Computer network security
• Security engineering
• Information and communications technology
• Crime prevention
• Cryptography
• National security
• Virtual private network
• SCADA
• FBI Criminal Justice Information Services Division
• Computer network

8 8 Esther Oswald, Benjamin Rubeli, Regine Berger

Source URL: www.hep-verlag.ch

RobinHood: Tail Latency-Aware Caching Dynamically Reallocating from Cache-Rich to Cache-Poor Daniel S. Berger (CMU) Joint work with: Benjamin Berg (CMU), Timothy Zhu (PennState), Siddhartha Sen (Microsoft Research), Mor

Source URL: platformlab.stanford.edu

• Cache
• Computer architecture
• Latency

DDoSCoin: Cryptocurrency with a Malicious Proof-of-Work Eric Wustrow University of Colorado Boulder Benjamin VanderSloot University of Michigan

Source URL: benvds.com

• Cryptocurrencies
• Cryptography
• Bitcoin
• Computing
• Alternative currencies
• Economy
• Blockchains
• Transport Layer Security
• Mining pool
• Proof-of-stake
• Cryptographic nonce
• Peercoin

Resolving the conflict between generality and plausibility in verified computation Srinath Setty? , Benjamin Braun? , Victor Vu? , Andrew J. Blumberg? , Bryan Parno† , and Michael Walfish? ? The University of Texas at

Source URL: www.pepper-project.org

• Computational complexity theory
• Logic
• Mathematics
• Randomized algorithms
• Automated theorem proving
• Logic programming
• Probabilistically checkable proof
• IP
• NP
• Substitution
• MAX-3SAT
• operator

An ISP-Scale Deployment of TapDance Sergey Frolov1 , Fred Douglas3 , Will Scott5 , Allison McDonald5 , Benjamin VanderSloot5 , Rod Hynes6 , Adam Kruger6 , Michalis Kallitsis4 , David G. Robinson7 , Steve Schultze2 , Niki

Source URL: www.usenix.org

• Information and communications technology
• Computing
• Internet
• Internet privacy
• Computer networking
• File sharing
• Transport Layer Security
• Network performance
• Proxy server
• Computer network
• Internet censorship circumvention
• Transmission Control Protocol

403 Forbidden: A Global View of CDN Geoblocking Allison McDonald University of Michigan Benjamin VanderSloot

Source URL: ensa.fi

• Computing
• Content delivery networks
• Concurrent computing
• Internet
• Distributed data storage
• Internet security
• Computer networking
• Cloudflare
• Freedom of speech in the United States
• Geo-blocking
• Akamai Technologies
• Amazon CloudFront

An ISP-Scale Deployment of TapDance Sergey Frolov1 , Fred Douglas3 , Will Scott5 , Allison McDonald5 , Benjamin VanderSloot5 , Rod Hynes6 , Adam Kruger6 , Michalis Kallitsis4 , David G. Robinson7 , Steve Schultze2 , Niki

Source URL: benvds.com

• Information and communications technology
• Computing
• Internet
• Internet privacy
• Computer networking
• File sharing
• Transport Layer Security
• Network performance
• Proxy server
• Computer network
• Internet censorship circumvention
• Transmission Control Protocol

SoK: Cryptographically Protected Database Search Benjamin Fuller∗ , Mayank Varia† , Arkady Yerukhimovich‡ , Emily Shen‡ , Ariel Hamlin‡ , Vijay Gadepally‡ , Richard Shay‡ , John Darby Mitchell‡ , and Robe

Source URL: www.ieee-security.org

• Data management
• Computing
• Data
• Relational database management systems
• Database theory
• NoSQL
• Structured storage
• Database
• NewSQL
• Relational database
• ODB
• Conjunctive query