1183 search results - page 31 / 237 » On flow-sensitive security types |
139
click to vote
SAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
122
click to vote
ENTCS
2002
15 years 4 months ago
2002
We present pmlB, a programming language that includes primitive sets and associated operations. The language is equipped with a precise type discipline that statically captures dy...
169
click to vote
ISDA
2006
IEEE
15 years 10 months ago
2006
IEEE
- Elliptic curve cryptography plays a crucial role in networking and information security area, and modular multiplication arithmetic over finite field is a necessary computation p...
171
click to vote
JAIR
2011
14 years 7 months ago
2011
There has been significant recent interest in game theoretic approaches to security, with much of the recent research focused on utilizing the leader-follower Stackelberg game mo...
139
click to vote
CRYPTO
2011
Springer
14 years 4 months ago
2011
Springer
Secure computation enables mutually suspicious parties to compute a joint function of their private inputs while providing strong security guarantees. Amongst other things, even i...