Sciweavers

14850 search results - page 136 / 2970
» The Security of
Sort
View
OOPSLA
1995
Springer
14 years 1 months ago
Sound Polymorphic Type Inference for Objects
Jonathan Eifrig, Scott F. Smith, Valery Trifonov
SP
1987
IEEE
14 years 1 months ago
Toward Verified Execution Environments
William R. Bevier, Warren A. Hunt Jr., William D. ...
EUROSEC
2010
ACM
14 years 1 months ago
AESSE: a cold-boot resistant implementation of AES
Tilo Müller, Andreas Dewald, Felix C. Freilin...
CCS
2008
ACM
14 years 2 days ago
Usage control platformization via trustworthy SELinux
Masoom Alam, Jean-Pierre Seifert, Qi Li, Xinwen Zh...