Publications

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
A framework for multi-platform SOA security analyses
- - Sam Weber
  - Paula Austel
  - et al.
- 2007
- ICWS 2007
The case for analysis preserving language transformation
- - Xiaolan Zhang
  - Larry Koved
  - et al.
- 2006
- ISSTA 2006
Fusion: A system for business users to manage program variability
- - Sam Weber
  - Hoi Chan
  - et al.
- 2005
- IEEE Transactions on Software Engineering
A software flaw taxonomy: Aiming tools at security
- - Sam Weber
  - Paul A. Karger
  - et al.
- 2005
- ICSEW 2005
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