Sam Weber

According to our database, Sam Weber authored at least 28 papers between 1992 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Empirical Evaluation of Secure Development Processes (Dagstuhl Seminar 23181).

Eric Bodden, Sam Weber, Laurie A. Williams

Dagstuhl Reports, 2023

2019

Empirical Evaluation of Secure Development Processes (Dagstuhl Seminar 19231).

Adam Shostack, Matthew Smith, Sam Weber, Mary Ellen Zurko

Dagstuhl Reports, 2019

Event-triggered natural hazard monitoring with convolutional neural networks on the edge.

Matthias Meyer, Timo Farei-Campagna, Akos Pasztor, Reto Da Forno, Tonio Gsell, Jérome Faillettaz, Andreas Vieli, Samuel Weber, Jan Beutel, Lothar Thiele

Proceedings of the 18th International Conference on Information Processing in Sensor Networks, 2019

2018

Event-triggered Natural Hazard Monitoring with Convolutional Neural Networks on the Edge.

Matthias Meyer, Timo Farei-Campagna, Akos Pasztor, Reto Da Forno, Tonio Gsell, Samuel Weber, Jan Beutel, Lothar Thiele

CoRR, 2018

2017

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

Yiwen Li, Brendan Dolan-Gavitt, Sam Weber, Justin Cappos

Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Empirical Studies on the Security and Usability Impact of Immutability.

Sam Weber, Michael J. Coblenz, Brad A. Myers, Jonathan Aldrich, Joshua Sunshine

Proceedings of the IEEE Cybersecurity Development, SecDev 2017, Cambridge, MA, USA, 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, Jane Cleland-Huang

Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

Panel: Empirically-based Secure OS Design.

Sam Weber, Adam Shostack, Jon A. Solworth, Mary Ellen Zurko

Proceedings of the 2017 New Security Paradigms Workshop, 2017

2016

Keeping Ahead of Our Adversaries.

Jane Cleland-Huang, Tamara Denning, Tadayoshi Kohno, Forrest Shull, Samuel Weber

IEEE Softw., 2016

Exploring language support for immutability.

Michael J. Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers, Sam Weber, Forrest Shull

Proceedings of the 38th International Conference on Software Engineering, 2016

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, Matthew Patron, Melissa Heeren, Shelley Krueger, Mark S. Pfaff

Proceedings of the 10th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2016

2015

Comparing transitive to non-transitive object immutability.

Michael J. Coblenz, Joshua Sunshine, Brad A. Myers, Sam Weber, Forrest Shull

Proceedings of the 6th Workshop on Evaluation and Usability of Programming Languages and Tools, 2015

2012

Big data privacy and security challenges.

Samuel Weber

Proceedings of the 2012 ACM Workshop on Building analysis datasets and gathering experience returns for security, 2012

2011

Lessons Learned: Building the Caernarvon High-Assurance Operating System.

Paul A. Karger, Suzanne McIntosh, Elaine R. Palmer, David C. Toll, Samuel Weber

IEEE Secur. Priv., 2011

2010

Implementing a High-Assurance Smart-Card OS.

Paul A. Karger, David C. Toll, Elaine R. Palmer, Suzanne McIntosh, Samuel Weber, Jonathan W. Edwards

Proceedings of the Financial Cryptography and Data Security, 14th International Conference, 2010

2008

The Caernarvon secure embedded operating system.

David C. Toll, Paul A. Karger, Elaine R. Palmer, Suzanne McIntosh, Sam Weber

ACM SIGOPS Oper. Syst. Rev., 2008

The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System.

Sam Weber, Amitkumar M. Paradkar, Suzanne McIntosh, David C. Toll, Paul A. Karger, Matthew Kaplan, Elaine R. Palmer

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

2007

A Framework for Multi-Platform SOA Security Analyses.

Sam Weber, Paula Austel, Michael McIntosh

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

2006

The case for analysis preserving language transformation.

Xiaolan Zhang, Larry Koved, Marco Pistoia, Sam Weber, Trent Jaeger, Guillaume Marceau, Liangzhao Zeng

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

Chicken & Egg: Dependencies in Security Testing and Compliance with Common Criteria Evaluations.

Amit M. Paradkar, Suzanne McIntosh, Sam Weber, David C. Toll, Paul A. Karger, Matt Kaplan

Proceedings of the 2006 IEEE International Symposium on Secure Software Engineering, 2006

2005

Fusion: A System For Business Users To Manage Program Variability.

Sam Weber, Hoi Y. Chan, Lou Degenaro, Judah Diament, Achille Fokoue-Nkoutche, Isabelle Rouvellou

IEEE Trans. Software Eng., 2005

A software flaw taxonomy: aiming tools at security.

Sam Weber, Paul A. Karger, Amit M. Paradkar

ACM SIGSOFT Softw. Eng. Notes, 2005

2004

Business Users and Program Variability: Bridging the Gap.

Isabelle Rouvellou, Lou Degenaro, Judah Diament, Achille Fokoue, Sam Weber

Proceedings of the Software Reuse: Methods, 2004

2001

Toward Context-Aware Computing: Experiences and Lessons.

Joshua Anhalt, Asim Smailagic, Daniel P. Siewiorek, Francine Gemperle, Daniel Salber, Sam Weber, James E. Beck, James Jennings

IEEE Intell. Syst., 2001

Comparing Urban and Rural Telecenters Costs.

Hani Umar Shakeel, Michael L. Best, Bruno Miller, Sam Weber

Electron. J. Inf. Syst. Dev. Ctries., 2001

2000

Verifying the EROS Confinement Mechanism.

Jonathan S. Shapiro, Sam Weber

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

1995

Process Algebras and Meta-algebras: Theory and Practice.

Sam Weber

PhD thesis, 1995

1992

Compiling Joy Into Silicon: An Exercise in Applied Structural Operational Semantics.

Sam Weber, Bard Bloom, Geoffrey Brown

Proceedings of the Sematics: Foundations and Applications, 1992