Justin Cappos

Proceedings of the Financial Cryptography and Data Security, 2020

2019

in-toto: Providing farm-to-table guarantees for bits and bytes.

[BibT_eX]

[DOI]

Hammad Afzali

Proceedings of the 28th USENIX Security Symposium, 2019

Commit Signatures for Centralized Version Control Systems.

[BibT_eX]

[DOI]

Sangat Vaidya

Proceedings of the ICT Systems Security and Privacy Protection, 2019

Charting a Course Through Uncertain Environments: SEA Uses Past Problems to Avoid Future Failures.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

ABC: A Cryptocurrency-Focused Threat Modeling Framework.

[BibT_eX]

[DOI]

Ghada Almashaqbeh

Allison Bishop

Proceedings of the IEEE INFOCOM 2019, 2019

CAPnet: A Defense Against Cache Accounting Attacks on Content Distribution Networks.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE Conference on Communications and Network Security, 2019

2018

Uptane: Security and Customizability of Software Updates for Vehicles.

[BibT_eX]

[DOI]

Lois Anne DeLong

IEEE Veh. Technol. Mag., 2018

Tsumiki: A Meta-Platform for Building Your Own Testbed.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2018

Sensibility Testbed: Automated IRB Policy Enforcement in Mobile Research Apps.

[BibT_eX]

[DOI]

Proceedings of the 19th International Workshop on Mobile Computing Systems & Applications, 2018

API Blindspots: Why Experienced Developers Write Vulnerable Code.

[BibT_eX]

[DOI]

Daniela Seabra Oliveira

Tian Lin

Muhammad Sajidur Rahman

Proceedings of the Fourteenth Symposium on Usable Privacy and Security, 2018

Four years experience: Making sensibility testbed work for SAS.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Sensors Applications Symposium, 2018

Design of activity recognition systems with wearable sensors.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Sensors Applications Symposium, 2018

Prevalence of confusing code in software projects: atoms of confusion in the wild.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Mining Software Repositories, 2018

EdgeNet: A Global Cloud That Spreads by Local Action.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE/ACM Symposium on Edge Computing, 2018

le-git-imate: Towards Verifiable Web-based Git Repositories.

[BibT_eX]

[DOI]

Hammad Afzali

Proceedings of the 2018 on Asia Conference on Computer and Communications Security, 2018

2017

Securing Software Updates for Automotives Using Uptane.

[BibT_eX]

[DOI]

Lois DeLong

User Anonymity on Twitter.

[BibT_eX]

[DOI]

Eleftherios Kokoris-Kogias

IEEE Secur. Priv., 2017

CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds.

[BibT_eX]

[DOI]

Kirill Nikitin

IACR Cryptol. ePrint Arch., 2017

Mining Anonymity: Identifying Sensitive Accounts on Twitter.

[BibT_eX]

[DOI]

CoRR, 2017

Lock-in-Pop: Securing Privileged Operating System Kernels by Keeping on the Beaten Path.

[BibT_eX]

[DOI]

Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Mercury: Bandwidth-Effective Prevention of Rollback Attacks Against Community Repositories.

[BibT_eX]

[DOI]

Vladimir Diaz

Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Understanding misunderstandings in source code.

[BibT_eX]

[DOI]

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

Practical fog computing with seattle.

[BibT_eX]

[DOI]

Albert Rafetseder

Lukas Pühringer

Proceedings of the IEEE Fog World Congress, 2017

2016

On Omitting Commits and Committing Omissions: Preventing Git Metadata Tampering That (Re)introduces Software Vulnerabilities.

[BibT_eX]

[DOI]

Anil Kumar Ammula

Proceedings of the 25th USENIX Security Symposium, 2016

Diplomat: Using Delegations to Protect Community Repositories.

[BibT_eX]

[DOI]

Vladimir Diaz

Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, 2016

Finding Sensitive Accounts on Twitter: An Automated Approach Based on Follower Anonymity.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Web and Social Media, 2016

2015

Privacy-Preserving Experimentation with Sensibility Testbed.

[BibT_eX]

[DOI]

Yanyan Zhuang

Albert Rafetseder

Selectively Taming Background Android Apps to Improve Battery Lifetime.

[BibT_eX]

[DOI]

Marcelo Martins

Rodrigo Fonseca

Proceedings of the 2015 USENIX Annual Technical Conference, 2015

Fence: Protecting Device Availability With Uniform Resource Control.

[BibT_eX]

[DOI]

Proceedings of the 2015 USENIX Annual Technical Conference, 2015

Trust Evaluation in Mobile Devices: An Empirical Study.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

Teaching Security Using Hands-on Exercises in 2015 (Abstract Only).

[BibT_eX]

[DOI]

Elizabeth K. Hawthorne

Ambareen Siraj

Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015

Can the Security Mindset Make Students Better Testers?

[BibT_eX]

[DOI]

Sara Hooshangi

Richard S. Weiss

Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015

A first look at vehicle data collection via smartphone sensors.

[BibT_eX]

[DOI]

Proceedings of the IEEE Sensors Applications Symposium, 2015

Detecting latent cross-platform API violations.

[BibT_eX]

[DOI]

Shriram Krishnamurthi

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

A Fast Multi-Server, Multi-Block Private Information Retrieval Protocol.

[BibT_eX]

[DOI]

Luqin Wang

Yong Liu

Proceedings of the 2015 IEEE Global Communications Conference, 2015

2014

PolyPasswordHasher: Improving Password Storage Security.

[BibT_eX]

[DOI]

ToMaTo a Virtual Research Environment for Large Scale Distributed Systems Research.

[BibT_eX]

[DOI]

Paul Müller

Dennis Schwerdel

Prax. Inf.verarb. Kommun., 2014

Teaching security using hands-on exercises (abstract only).

[BibT_eX]

[DOI]

Richard S. Weiss

Michael E. Locasto

Jens Mache

Elizabeth K. Hawthorne

Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

Teaching the security mindset with reference monitors.

[BibT_eX]

[DOI]

Richard S. Weiss

Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

BlurSense: Dynamic fine-grained access control for smartphone privacy.

[BibT_eX]

[DOI]

Proceedings of the IEEE Sensors Applications Symposium, 2014

Vulnerabilities as Blind Spots in Developer's Heuristic-Based Decision-Making Processes.

[BibT_eX]

[DOI]

Proceedings of the 2014 workshop on New Security Paradigms Workshop, 2014

NetCheck: Network Diagnoses from Blackbox Traces.

[BibT_eX]

[DOI]

Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, 2014

Sensibility testbed: An internet-wide cloud platform for programmable exploration of mobile devices.

[BibT_eX]

[DOI]

Proceedings of the 2014 Proceedings IEEE INFOCOM Workshops, Toronto, ON, Canada, April 27, 2014

"On the internet, nobody knows you're a dog": a twitter case study of anonymity in social networks.

[BibT_eX]

[DOI]

Proceedings of the second ACM conference on Online social networks, 2014

It's the psychology stupid: how heuristics explain software vulnerabilities and how priming can illuminate developer's blind spots.

[BibT_eX]

[DOI]

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

2013

Sensorium - A Generic Sensor Framework.

[BibT_eX]

[DOI]

Prax. Inf.verarb. Kommun., 2013

Experience with Seattle: A Community Platform for Research and Education.

[BibT_eX]

[DOI]

Yanyan Zhuang

Albert Rafetseder

Proceedings of the 2013 Second GENI Research and Educational Experiment Workshop, 2013

Avoiding Theoretical Optimality to Efficiently and Privately Retrieve Security Updates.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2013

2011

Et (smart) phone home!

[BibT_eX]

[DOI]

Proceedings of the SPLASH'11 Workshops, 2011

2010

Model-based Testing Without a Model: Assessing Portability in the Seattle Testbed.

[BibT_eX]

[DOI]

Jonathan Jacky

Proceedings of the 5th International Workshop on Systems Software Verification, 2010

Survivable key compromise in software update systems.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

Retaining sandbox containment despite bugs in privileged memory-safe code.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

2009

Package Managers Still Vulnerable: How to Protect Your Systems.

[BibT_eX]

[DOI]

Justin Samuel

Simultaneous graph embedding with bends and circular arcs.

[BibT_eX]

[DOI]

Alejandro Estrella-Balderrama

J. Joseph Fowler

Stephen G. Kobourov

Comput. Geom., 2009

Seattle: a platform for educational cloud computing.

[BibT_eX]

[DOI]

Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, 2009

Rhizoma: A Runtime for Self-deploying, Self-managing Overlays.

[BibT_eX]

[DOI]

Proceedings of the Middleware 2009, ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30, 2009

2008

Stork: Secure Package Management for VM Environments.

[BibT_eX]

[DOI]

PhD thesis, 2008

Centralized Package Management Using Stork.

[BibT_eX]

[DOI]

Justin Samuel

Jeremy Plichta

San Fermín: Aggregating Large Data Sets Using a Binomial Swap Forest.

[BibT_eX]

[DOI]

John H. Hartman

Proceedings of the 5th USENIX Symposium on Networked Systems Design & Implementation, 2008

Dependable Self-Hosting Distributed Systems Using Constraints.

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Hot Topics in System Dependability, 2008

A look in the mirror: attacks on package managers.

[BibT_eX]

[DOI]

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

2007

Net-X: Unified Data-Centric Internet Services.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Networking Meets Databases, 2007

Stork: Package Management for Distributed VM Environments.

[BibT_eX]

[DOI]

Proceedings of the 21th Large Installation System Administration Conference, 2007

2006

Privileged operations in the PlanetLab virtualised environment.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 2006

2005

Proper: Privileged Operations in a Virtualised System Environment.

[BibT_eX]

[DOI]

Proceedings of the 2005 USENIX Annual Technical Conference, 2005

Collaboration with DiamondTouch.

[BibT_eX]

[DOI]

Proceedings of the Human-Computer Interaction, 2005

Why It Is Hard to Build a Long-Running Service on PlanetLab.

[BibT_eX]

[DOI]