52 search results - page 1 / 11 » Validation of Cryptographic Protocols by Efficient Automated... |
FLAIRS
2000
13 years 8 months ago
2000
ESOP
2009
Springer
13 years 11 months ago
2009
Springer
Gordon and Jeffrey have proposed a type and effect system for checking authenticity in cryptographic protocols. The type system reduces the protocol verification problem to the typ...
DAC
2002
ACM
14 years 8 months ago
2002
ACM
We propose a false-path-aware statistical timing analysis framework. In our framework, cell as well as interconnect delays are assumed to be correlated random variables. Our tool ...
ESWS
2009
Springer
14 years 2 months ago
2009
Springer
We propose a middleware for automated implementation of security protocols for Web services. The proposed middleware consists of two main layers: the communication layer and the se...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
Online recommender systems enable personalized service to users. The underlying collaborative filtering techniques operate on privacy sensitive user data, which could be misused ...