3115 search results - page 548 / 623 » Synthesizing Secure Protocols |
159
click to vote
TELSYS
2010
14 years 11 months ago
2010
As Voice over IP (VoIP) applications become increasingly popular, they are more and more facing security challenges that have not been present in the traditional Public Switched Te...
150
click to vote
TSE
2010
14 years 11 months ago
2010
The increasing reliance put on networked computer systems demands higher levels of dependability. This is even more relevant as new threats and forms of attack are constantly being...
149
click to vote
SIGMOD
2011
ACM
14 years 7 months ago
2011
ACM
We demonstrate NetTrails, a declarative platform for maintaining and interactively querying network provenance in a distributed system. Network provenance describes the history an...
170
click to vote
IACR
2011
14 years 3 months ago
2011
Abstract. In Asiacrypt 2010, Groth constructed the only previously known sublinearcommunication NIZK argument for circuit satisfiability in the common reference string model. We p...
114
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
A new face recognition algorithm is presented. It supposes that a video sequence of a person is available both at enrollment and test time. During enrollment, a client Gaussian Mi...