Compiling Joy Into Silicon: An Exercise in Applied Structural Operational Semantics. - Sam Weber 001; Bard Bloom; Geoffrey Brown (REX Workshop, 1992)

Toward Context-Aware Computing: Experiences and Lessons. - Joshua Anhalt; Asim Smailagic; Daniel P. Siewiorek; Francine Gemperle; Daniel Salber; Sam Weber 001; James E. Beck; James Jennings (IEEE Intell. Syst., 2001)

Business Users and Program Variability: Bridging the Gap. - Isabelle Rouvellou; Lou Degenaro; Judah Diament; Achille Fokoue; Sam Weber 001 (ICSR, 2004)

A software flaw taxonomy: aiming tools at security. - Sam Weber 001; Paul A. Karger; Amit M. Paradkar (ACM SIGSOFT Softw. Eng. Notes, 2005)

Fusion: A System For Business Users To Manage Program Variability. - Sam Weber 001; Hoi Y. Chan; Lou Degenaro; Judah Diament; Achille Fokoue-Nkoutche; Isabelle Rouvellou (IEEE Trans. Software Eng., 2005)

Chicken & Egg: Dependencies in Security Testing and Compliance with Common Criteria Evaluations. - Amit M. Paradkar; Suzanne McIntosh; Sam Weber 001; David C. Toll; Paul A. Karger; Matt Kaplan 003 (ISSSE, 2006)

The case for analysis preserving language transformation. - Xiaolan Zhang 001; Larry Koved; Marco Pistoia; Sam Weber 001; Trent Jaeger; Guillaume Marceau; Liangzhao Zeng (ISSTA, 2006)

A Framework for Multi-Platform SOA Security Analyses. - Sam Weber 001; Paula Austel; Michael McIntosh (ICWS, 2007)

The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System. - Sam Weber 001; Amitkumar M. Paradkar; Suzanne McIntosh; David C. Toll; Paul A. Karger; Matthew Kaplan 003; Elaine R. Palmer (ISSRE, 2008)

The Caernarvon secure embedded operating system. - David C. Toll; Paul A. Karger; Elaine R. Palmer; Suzanne McIntosh; Sam Weber 001 (ACM SIGOPS Oper. Syst. Rev., 2008)

Implementing a High-Assurance Smart-Card OS. - Paul A. Karger; David C. Toll; Elaine R. Palmer; Suzanne McIntosh; Samuel Weber 001; Jonathan W. Edwards (Financial Cryptography, 2010)

Lessons Learned: Building the Caernarvon High-Assurance Operating System. - Paul A. Karger; Suzanne McIntosh; Elaine R. Palmer; David C. Toll; Samuel Weber 001 (IEEE Secur. Priv., 2011)

Big data privacy and security challenges. - Samuel Weber 001 (BADGERS@CCS, 2012)

Comparing transitive to non-transitive object immutability. - Michael J. Coblenz; Joshua Sunshine; Brad A. Myers; Sam Weber 001; Forrest Shull (PLATEAU@SPLASH, 2015)

Software Development Practices, Barriers in the Field and the Relationship to Software Quality. - Beth Yost; Michael J. Coblenz; Brad A. Myers; Joshua Sunshine; Jonathan Aldrich; Sam Weber 001; Matthew Patron; Melissa Heeren; Shelley Krueger; Mark S. Pfaff (ESEM, 2016)

Exploring language support for immutability. - Michael J. Coblenz; Joshua Sunshine; Jonathan Aldrich; Brad A. Myers; Sam Weber 001; Forrest Shull (ICSE, 2016)

Keeping Ahead of Our Adversaries. - Jane Cleland-Huang; Tamara Denning; Tadayoshi Kohno; Forrest Shull; Samuel Weber 001 (IEEE Softw., 2016)

Panel: Empirically-based Secure OS Design. - Sam Weber 001; Adam Shostack; Jon A. Solworth; Mary Ellen Zurko (NSPW, 2017)

Crowd Sourcing the Creation of Personae Non Gratae for Requirements-Phase Threat Modeling. - Nancy Mead; Forrest Shull; Janine L. Spears; Stefan Heibl; Sam Weber 001; Jane Cleland-Huang (RE, 2017)

Empirical Studies on the Security and Usability Impact of Immutability. - Sam Weber 001; Michael J. Coblenz; Brad A. Myers; Jonathan Aldrich; Joshua Sunshine (SecDev, 2017)

Lock-in-Pop: Securing Privileged Operating System Kernels by Keeping on the Beaten Path. - Yiwen Li; Brendan Dolan-Gavitt; Sam Weber 001; Justin Cappos (USENIX ATC, 2017)

Empirical Evaluation of Secure Development Processes (Dagstuhl Seminar 19231). - Adam Shostack; Matthew Smith 001; Sam Weber 001; Mary Ellen Zurko (Dagstuhl Reports, 2019)

Empirical Evaluation of Secure Development Processes (Dagstuhl Seminar 23181). - Eric Bodden; Sam Weber 001; Laurie A. Williams (Dagstuhl Reports, 2023)