349 search results - page 2 / 70 » Computer Security Research: Approaches and Assumptions |
FOCS
2004
IEEE
13 years 9 months ago
2004
IEEE
A desirable goal for cryptographic protocols is to guarantee security when the protocol is composed with other protocol instances. Universally Composable (UC) protocols provide th...
FASE
2011
Springer
12 years 9 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
GRC
2008
IEEE
13 years 6 months ago
2008
IEEE
—Secure multiparty computation is a very important research topic in cryptography. A secure multi-party computation involves N untrusful parties. It takes input xi from the ith p...
SOSP
2003
ACM
14 years 2 months ago
2003
ACM
This paper presents a new approach called model-carrying code (MCC) for safe execution of untrusted code. At the heart of MCC is the idea that untrusted code comes equipped with a...
COMPSEC
2006
13 years 5 months ago
2006
To address national needs for computer security education, many universities have incorporated computer and security courses into their undergraduate and graduate curricula. In th...