12637 search results - page 388 / 2528 » Security for Extensible Systems |
209
click to vote
I3E
2001
15 years 8 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
160
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating the proofs which are inherently larg...
179
click to vote
WPES
2005
ACM
16 years 9 days ago
2005
ACM
At the 2004 Workshop on Privacy in the Electronic Society (WPES), Borisov, Goldberg and Brewer, presented “Off the Record Messaging” (OTR), a protocol designed to add endto-e...
185
Voted
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
With the popularity of wireless communication devices a new important dimension of embedded systems design has arisen, that of security. This paper presents for the first time des...
165
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
Speck1 is a system that accelerates powerful security checks on commodity hardware by executing them in parallel on multiple cores. Speck provides an infrastructure that allows se...