A framework for multi-platform SOA security analyses
- Sam Weber
- Paula Austel
- et al.
- 2007
- ICWS 2007
Publications
Date
Featured collections
Popular topics
8 results for Sam Weber
The feasibility of automated feedback-directed specification-based test generation: A case study of a high-assurance operating system
- Sam Weber
- Amitkumar Paradkar
- et al.
- 2008
- ISSRE 2008
The Caernarvon secure embedded operating system
- David C. Toll
- Paul A. Karger
- et al.
- 2008
- EuroSys 2008
The case for analysis preserving language transformation
- Xiaolan Zhang
- Larry Koved
- et al.
- 2006
- ISSTA 2006
A software flaw taxonomy: Aiming tools at security
- Sam Weber
- Paul A. Karger
- et al.
- 2005
- ICSEW 2005
Fusion: A system for business users to manage program variability
- Sam Weber
- Hoi Chan
- et al.
- 2005
- IEEE Transactions on Software Engineering
Toward context-aware computing: Experiences and lessons
- Joshua Anhalt
- Asim Smailagic
- et al.
- 2001
- IEEE Intelligent Systems and Their Applications
Verifying the EROS confinement mechanism
- Jonathan S. Shapiro
- Sam Weber
- 2000
- Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy