Benjamin Livshits

Proceedings of the Passive and Active Measurement - 23rd International Conference, 2022

STAR: Secret Sharing for Private Threshold Aggregation Reporting.

[BibT_eX]

[DOI]

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

ZKSENSE: A Friction-less Privacy-Preserving Human Attestation Mechanism for Mobile Devices.

[BibT_eX]

[DOI]

Proc. Priv. Enhancing Technol., 2021

Pool-Party: Exploiting Browser Resource Pools as Side-Channels for Web Tracking.

[BibT_eX]

[DOI]

CoRR, 2021

Towards Private On-Chain Algorithmic Trading.

[BibT_eX]

[DOI]

Ceren Kocaogullar

Arthur Gervais

CoRR, 2021

STAR: Distributed Secret Sharing for Private Threshold Aggregation Reporting.

[BibT_eX]

[DOI]

CoRR, 2021

PrivateFetch: Scalable Catalog Delivery in Privacy-Preserving Advertising.

[BibT_eX]

[DOI]

Muhammad Haris Mughees

Gonçalo Pestana

Alex Davidson

CoRR, 2021

What's in Your Wallet? Privacy and Security Issues in Web 3.0.

[BibT_eX]

[DOI]

CoRR, 2021

THEMIS: A Decentralized Privacy-Preserving Ad Platform with Reporting Integrity.

[BibT_eX]

[DOI]

Gonçalo Pestana

CoRR, 2021

BrowseLite: A Private Data Saving Solution for the Web.

[BibT_eX]

[DOI]

Proceedings of the WWW '21: The Web Conference 2021, 2021

Towards Realistic and ReproducibleWeb Crawl Measurements.

[BibT_eX]

[DOI]

Proceedings of the WWW '21: The Web Conference 2021, 2021

Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited.

[BibT_eX]

[DOI]

Proceedings of the 30th USENIX Security Symposium, 2021

Shedding (Some) Light on Mobile Browsers Energy Consumption.

[BibT_eX]

[DOI]

Proceedings of the 5th Network Traffic Measurement and Analysis Conference, 2021

On the Just-In-Time Discovery of Profit-Generating Transactions in DeFi Protocols.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

Detecting Filter List Evasion with Event-Loop-Turn Granularity JavaScript Signatures.

[BibT_eX]

[DOI]

Quan Chen

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

Stronger Privacy for Federated Collaborative Filtering With Implicit Feedback.

[BibT_eX]

[DOI]

Proceedings of the RecSys '21: Fifteenth ACM Conference on Recommender Systems, Amsterdam, The Netherlands, 27 September 2021, 2021

VPN-Zero: A Privacy-Preserving Decentralized Virtual Private Network.

[BibT_eX]

[DOI]

Antonio Nappa

Goncalo Pestana

Proceedings of the IFIP Networking Conference, 2021

Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2021

Liquidations: DeFi on a Knife-Edge.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2021

SugarCoat: Programmatically Generating Privacy-Preserving, Web-Compatible Resource Replacements for Content Blocking.

[BibT_eX]

[DOI]

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

Who Filters the Filters: Understanding the Growth, Usefulness and Efficiency of Crowdsourced Ad Blocking.

[BibT_eX]

[DOI]

Antoine Vastel

Proc. ACM Meas. Anal. Comput. Syst., 2020

There's No Trick, Its Just a Simple Trick: A Web-Compat and Privacy Improving Approach to Third-party Web Storage.

[BibT_eX]

[DOI]

Jordan Jueckstock

Shaown Sarker

CoRR, 2020

On the Battery Consumption of Mobile Browsers.

[BibT_eX]

[DOI]

CoRR, 2020

THEMIS: Decentralized and Trustless Ad Platform with Reporting Integrity.

[BibT_eX]

[DOI]

Gonçalo Pestana

CoRR, 2020

Improving Web Content Blocking With Event-Loop-Turn Granularity JavaScript Signatures.

[BibT_eX]

[DOI]

Quan Chen

CoRR, 2020

We Know What They've Been Put Through: Revisiting High-scalability Blockchain Transactions.

[BibT_eX]

[DOI]

Jiahua Xu

CoRR, 2020

The Decentralized Financial Crisis: Attacking DeFi.

[BibT_eX]

[DOI]

CoRR, 2020

Technical perspective: Analyzing smart contracts with MadMax.

[BibT_eX]

[DOI]

Commun. ACM, 2020

Filter List Generation for Underserved Regions.

[BibT_eX]

[DOI]

Alexander Sjösten

Antonio Pastor

Proceedings of the WWW '20: The Web Conference 2020, Taipei, Taiwan, April 20-24, 2020, 2020

Keeping out the Masses: Understanding the Popularity and Implications of Internet Paywalls.

[BibT_eX]

[DOI]

Dimitrios Athanasakis

Proceedings of the WWW '20: The Web Conference 2020, Taipei, Taiwan, April 20-24, 2020, 2020

PERCIVAL: Making In-Browser Perceptual Ad Blocking Practical with Deep Learning.

[BibT_eX]

[DOI]

Proceedings of the 2020 USENIX Annual Technical Conference, 2020

AdGraph: A Graph-Based Approach to Ad and Tracker Blocking.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Broken Metre: Attacking Resource Metering in EVM.

[BibT_eX]

[DOI]

Proceedings of the 27th Annual Network and Distributed System Security Symposium, 2020

Privacy-Preserving Bandits.

[BibT_eX]

[DOI]

Mohammad Malekzadeh

Dimitrios Athanasakis

Hamed Haddadi

Proceedings of Machine Learning and Systems 2020, 2020

Revisiting Transactional Statistics of High-scalability Blockchains.

[BibT_eX]

[DOI]

Jiahua Xu

Proceedings of the IMC '20: ACM Internet Measurement Conference, 2020

The Decentralized Financial Crisis.

[BibT_eX]

[DOI]

Proceedings of the Crypto Valley Conference on Blockchain Technology, 2020

Evaluating the End-User Experience of Private Browsing Mode.

[BibT_eX]

[DOI]

Ruba Abu-Salma

Proceedings of the CHI '20: CHI Conference on Human Factors in Computing Systems, 2020

2019

BLENDER: Enabling Local Search with a Hybrid Differential Privacy Model.

[BibT_eX]

[DOI]

J. Priv. Confidentiality, 2019

ZKSENSE: a Privacy-Preserving Mechanism for Bot Detection in Mobile Devices.

[BibT_eX]

[DOI]

CoRR, 2019

VPN0: A Privacy-Preserving Decentralized Virtual Private Network.

[BibT_eX]

[DOI]

Antonio Nappa

Goncalo Pestana

CoRR, 2019

The Blind Men and the Internet: Multi-Vantage Point Web Measurements.

[BibT_eX]

[DOI]

Jordan Jueckstock

Shaown Sarker

CoRR, 2019

Another Brick in the Paywall: The Popularity and Privacy Implications of Paywalls.

[BibT_eX]

[DOI]

CoRR, 2019

Smart Contract Vulnerabilities: Does Anyone Care?

[BibT_eX]

[DOI]

CoRR, 2019

SpeedReader: Reader Mode Made Fast and Private.

[BibT_eX]

[DOI]

Mohammad Ghasemisharif

Andrius Aucinas

Proceedings of the World Wide Web Conference, 2019

The Anatomy of a Cryptocurrency Pump-and-Dump Scheme.

[BibT_eX]

[DOI]

Jiahua Xu

Yves-Alexandre de Montjoye

Proceedings of the 28th USENIX Security Symposium, 2019

When the Signal is in the Noise: Exploiting Diffix's Sticky Noise.

[BibT_eX]

[DOI]

Proceedings of the 28th USENIX Security Symposium, 2019

A Puff of Steem: Security Analysis of Decentralized Content Curation.

[BibT_eX]

[DOI]

Aggelos Kiayias

Andrés Monteoliva Mosteiro

Orfeas Stefanos Thyfronitis Litos

Proceedings of the International Conference on Blockchain Economics, 2019

BatteryLab, a distributed power monitoring platform for mobile devices: demo abstract.

[BibT_eX]

[DOI]

Proceedings of the 17th Conference on Embedded Networked Sensor Systems, 2019

BatteryLab, A Distributed Power Monitoring Platform For Mobile Devices.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM Workshop on Hot Topics in Networks, 2019

Static Analysis for Asynchronous JavaScript Programs.

[BibT_eX]

[DOI]

Thodoris Sotiropoulos

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018

AdGraph: A Machine Learning Approach to Automatic and Effective Adblocking.

[BibT_eX]

[DOI]

CoRR, 2018

Toward an Evidence-based Design for Reactive Security Policies and Mechanisms.

[BibT_eX]

[DOI]

Omer Katz

Cristian-Alexandru Staicu

CoRR, 2018

SYNODE: Understanding and Automatically Preventing Injection Attacks on NODE.JS.

[BibT_eX]

[DOI]

Michael Pradel

Proceedings of the 25th Annual Network and Distributed System Security Symposium, 2018

EthIR: A Framework for High-Level Analysis of Ethereum Bytecode.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Prepose: Privacy, Security, and Reliability for Gesture-Based Programming.

[BibT_eX]

[DOI]

Lucas Silva Figueiredo

David Molnar

Margus Veanes

IEEE Secur. Priv., 2017

Toward full elasticity in distributed static analysis: the case of callgraph analysis.

[BibT_eX]

[DOI]

Diego Garbervetsky

Edgardo Zoppi

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Just-in-time static analysis.

[BibT_eX]

[DOI]

Emerson R. Murphy-Hill

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Cheetah: just-in-time taint analysis for Android apps.

[BibT_eX]

[DOI]

Emerson R. Murphy-Hill

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

Kizzle: A Signature Compiler for Detecting Exploit Kits.

[BibT_eX]

[DOI]

Ben Stock

Benjamin G. Zorn

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

2015

Fast: A Transducer-Based Language for Tree Manipulation.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2015

In defense of soundiness: a manifesto.

[BibT_eX]

[DOI]

Dimitrios Vardoulakis

Commun. ACM, 2015

PriVaricator: Deceiving Fingerprinters with Little White Lies.

[BibT_eX]

[DOI]

Nick Nikiforakis

Wouter Joosen

Proceedings of the 24th International Conference on World Wide Web, 2015

SurroundWeb: Mitigating Privacy Concerns in a 3D Web Browser.

[BibT_eX]

[DOI]

Christopher J. Rossbach

Alexander Moshchuk

Helen J. Wang

Ran Gal

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

InterPoll: Crowd-Sourced Internet Polls.

[BibT_eX]

[DOI]

Todd Mytkowicz

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Detecting JavaScript races that matter.

[BibT_eX]

[DOI]

Erdal Mutlu

Serdar Tasiran

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Data-Parallel String-Manipulating Programs.

[BibT_eX]

[DOI]

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Program Boosting: Program Synthesis via Crowd-Sourcing.

[BibT_eX]

[DOI]

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2014

Preface.

[BibT_eX]

[DOI]

J. Comput. Secur., 2014

ZØ: An Optimizing Distributing Zero-Knowledge Compiler.

[BibT_eX]

[DOI]

Matthew Fredrikson

Proceedings of the 23rd USENIX Security Symposium, San Diego, CA, USA, August 20-22, 2014., 2014

I Know It When I See It: Observable Races in JavaScript Applications.

[BibT_eX]

[DOI]

Erdal Mutlu

Serdar Tasiran

Proceedings of the Workshop on Dynamic Languages and Applications, 2014

Automated migration of build scripts using dynamic analysis and search-based refactoring.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Saving Money While Polling with InterPoll Using Power Analysis.

[BibT_eX]

[DOI]

Todd Mytkowicz

Proceedings of the Seconf AAAI Conference on Human Computation and Crowdsourcing, 2014

Let's do it at my place instead?: attitudinal and behavioral study of privacy in client-side personalization.

[BibT_eX]

[DOI]

Alfred Kobsa

Bart P. Knijnenburg

Proceedings of the CHI Conference on Human Factors in Computing Systems, 2014

MoRePriv: mobile OS support for application personalization and privacy.

[BibT_eX]

[DOI]

Drew Davidson

Matt Fredrikson

Proceedings of the 30th Annual Computer Security Applications Conference, 2014

2013

Automatic Mediation of Privacy-Sensitive Resource Access in Smartphone Applications.

[BibT_eX]

[DOI]

Jaeyeon Jung

Proceedings of the 22th USENIX Security Symposium, Washington, DC, USA, August 14-16, 2013, 2013

Enabling Fine-Grained Permissions for Augmented Reality Applications with Recognizers.

[BibT_eX]

[DOI]

Proceedings of the 22th USENIX Security Symposium, Washington, DC, USA, August 14-16, 2013, 2013

Practical static analysis of JavaScript applications in the presence of frameworks and libraries.

[BibT_eX]

[DOI]

Magnus Madsen

Michael Fanning

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Towards fully automatic placement of security sanitizers and declassifiers.

[BibT_eX]

[DOI]

Stephen Chong

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Fully abstract compilation to JavaScript.

[BibT_eX]

[DOI]

Cédric Fournet

Nikhil Swamy

Juan Chen

Pierre-Évariste Dagand

Pierre-Yves Strub

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Verifying higher-order programs with the dijkstra monad.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Operating System Support for Augmented Reality Applications.

[BibT_eX]

[DOI]

Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013

2012

Browser Security Case Study: Appearances Can Be Deceiving.

[BibT_eX]

[DOI]

Jeremiah Grossman

Rebecca Gurley Bace

George V. Neville-Neil

ACM Queue, 2012

Web Application Security (Dagstuhl Seminar 12401).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2012

Rozzle: De-cloaking Internet Malware.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Security and Privacy, 2012

Symbolic finite state transducers: algorithms and applications.

[BibT_eX]

[DOI]

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Private Client-Side Profiling with Random Forests and Hidden Markov Models.

[BibT_eX]

[DOI]

Proceedings of the Privacy Enhancing Technologies - 12th International Symposium, 2012

Finding Malware on a Web Scale.

[BibT_eX]

[DOI]

Proceedings of the Computer Network Security, 2012

2011

Fast and Precise Sanitizer Analysis with BEK.

[BibT_eX]

[DOI]

Proceedings of the 20th USENIX Security Symposium, 2011

ZOZZLE: Fast and Precise In-Browser JavaScript Malware Detection.

[BibT_eX]

[DOI]

Proceedings of the 20th USENIX Security Symposium, 2011

Verified Security for Browser Extensions.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

RePriv: Re-imagining Content Personalization and In-browser Privacy.

[BibT_eX]

[DOI]

Matthew Fredrikson

Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

SCRIPTGARD: automatic context-sensitive sanitization for large-scale legacy web applications.

[BibT_eX]

[DOI]

Prateek Saxena

David Molnar

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

Towards ensuring client-side computational integrity.

[BibT_eX]

[DOI]

George Danezis

Proceedings of the 3rd ACM Cloud Computing Security Workshop, 2011

2010

AjaxScope: A Platform for Remotely Monitoring the Client-Side Behavior of Web 2.0 Applications.

[BibT_eX]

[DOI]

ACM Trans. Web, 2010

JSMeter: Comparing the Behavior of JavaScript Benchmarks with Real Web Applications.

[BibT_eX]

[DOI]

Paruj Ratanaworabhan

Benjamin G. Zorn

Proceedings of the USENIX Conference on Web Application Development, 2010

ConScript: Specifying and Enforcing Fine-Grained Security Policies for JavaScript in the Browser.

[BibT_eX]

[DOI]

Leo A. Meyerovich

Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

Fluxo: a system for internet service programming by non-expert developers.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM Symposium on Cloud Computing, 2010

2009

NOZZLE: A Defense Against Heap-spraying Code Injection Attacks.

[BibT_eX]

[DOI]

Paruj Ratanaworabhan

Benjamin G. Zorn

Proceedings of the 18th USENIX Security Symposium, 2009

GATEKEEPER: Mostly Static Enforcement of Security and Reliability Policies for JavaScript Code.

[BibT_eX]

[DOI]

Salvatore Guarnieri

Proceedings of the 18th USENIX Security Symposium, 2009

CatchAndRetry: extending exceptions to handle distributed system failures and recovery.

[BibT_eX]

[DOI]

Madanlal Musuvathi

Proceedings of the Fifth Workshop on Programming Languages and Operating Systems, 2009

Merlin: specification inference for explicit information flow problems.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

FLUXO: A Simple Service Compiler.

[BibT_eX]

[DOI]

Madanlal Musuvathi

Proceedings of HotOS'09: 12th Workshop on Hot Topics in Operating Systems, 2009

Improving the responsiveness of internet services with automatic cache placement.

[BibT_eX]

[DOI]

Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April 1-3, 2009, 2009

09141 Executive Summary - Web Application Security.

[BibT_eX]

[DOI]

Proceedings of the Web Application Security, 29.03. - 03.04.2009, 2009

09141 Abstracts Collection - Web Application Security.

[BibT_eX]

[DOI]

Proceedings of the Web Application Security, 29.03. - 03.04.2009, 2009

Ripley: automatically securing web 2.0 applications through replicated execution.

[BibT_eX]

[DOI]

K. Vikram

Abhishek Prateek

Proceedings of the 2009 ACM Conference on Computer and Communications Security, 2009

2008

Volta: Developing Distributed Applications by Recompiling.

[BibT_eX]

[DOI]

Dragos Manolescu

Brian Beckman

IEEE Softw., 2008

Spectator: Detection and Containment of JavaScript Worms.

[BibT_eX]

[DOI]

Weidong Cui

Proceedings of the 2008 USENIX Annual Technical Conference, 2008

Doloto: code splitting for network-bound web 2.0 applications.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Securing web applications with static and dynamic information flow tracking.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

2007

Improving software insecurity with precise static and runtime analysis.

[BibT_eX]

[DOI]

PhD thesis, 2007

Using web application construction frameworks to protect against code injection attacks.

[BibT_eX]

[DOI]

Úlfar Erlingsson

Proceedings of the 2007 Workshop on Programming Languages and Analysis for Security, 2007

End-to-End Web Application Security.

[BibT_eX]

[DOI]

Úlfar Erlingsson

Yinglian Xie

Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, 2007

2006

Mining Additions of Method Calls in ArgoUML.

[BibT_eX]

[DOI]

Proceedings of the Aspects For Legacy Applications, 26.07. - 29.07.2006, 2006

2005

Finding Security Vulnerabilities in Java Applications with Static Analysis.

[BibT_eX]

[DOI]

Proceedings of the 14th USENIX Security Symposium, Baltimore, MD, USA, July 31, 2005

DynaMine: finding common error patterns by mining software revision histories.

[BibT_eX]

[DOI]

Thomas Zimmermann

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Context-sensitive program analysis as database queries.

[BibT_eX]

[DOI]

Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2005

Finding application errors and security flaws using PQL: a program query language.

[BibT_eX]

[DOI]

Michael C. Martin

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Improving software security with a C pointer analysis.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Reflection Analysis for Java.

[BibT_eX]

[DOI]

John Whaley

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2003

Tracking pointers with path and context sensitivity for bug detection in C programs.

[BibT_eX]

[DOI]