216 search results - page 41 / 44 » Models and Proofs of Protocol Security: A Progress Report |
181
click to vote
ASIACRYPT
2010
Springer
15 years 4 months ago
2010
Springer
sion of an extended abstract published in Proceedings of Asiacrypt 2010, Springer-Verlag, 2010. Available from the IACR Cryptology ePrint Archive as Report 2010/474. Beginning wit...
180
click to vote
BIRTHDAY
2012
Springer
14 years 2 months ago
2012
Springer
The 40 thieves realize that the fortune in their cave is vanishing. A rumor says that Ali Baba has been granted access (in the form of a certificate) to the cave but they need evi...
180
click to vote
SAFECOMP
2007
Springer
16 years 20 days ago
2007
Springer
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...
200
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: DNA methylation has been shown to play an important role in the silencing of tumor suppressor genes in various tumor types. In order to have a system-wide understandin...
175
click to vote
EUROCRYPT
2008
Springer
15 years 8 months ago
2008
Springer
ded abstract of this paper appears in Advances in Cryptology -- EUROCRYPT '08, Lecture Notes in Computer Science Vol. 4965, N. Smart ed., Springer-Verlag, 2008. This is the fu...