75 search results - page 2 / 15 » Towards secure integration of cryptographic software |
94
Voted
CCS
2009
ACM
15 years 7 months ago
2009
ACM
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...
FSE
2001
Springer
15 years 4 months ago
2001
Springer
The NESSIE project (New European Schemes for Signature, Integrity and Encryption) intends to put forward a portfolio containing the next generation of cryptographic primitives. The...
103
Voted
VMCAI
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
129
Voted
SERP
2010
14 years 10 months ago
2010
We propose a formal method to automatically integrate security rules regarding an access control policy (expressed in Or-BAC) in Java programs. Given an untrusted application and a...
112
Voted
NDSS
2003
IEEE
15 years 5 months ago
2003
IEEE
The current trend in mobile networking is towards mobile hosts that have multiple network interfaces, e.g., WLAN and GPRS. However, when the current Internet architecture was orig...