Sciweavers

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