10156 search results - page 3 / 2032 » Step by Step to Histories |
ACNS
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We propose a new protocol providing cryptographically secure authentication to unaided humans against passive adversaries. We also propose a new generic passive attack on...
IEICET
2008
13 years 8 months ago
2008
ENTCS
2007
13 years 8 months ago
2007
Most of the state-of-the-art proof assistants are based on procedural proof languages, scripts, and rely on LCF tacticals as the primary tool for tactics composition. In this pape...
MR
2007
13 years 8 months ago
2007
A systematic methodology is developed in order to clarify the punch through Trench Insulated Gate Bipolar Transistor (T-IGBT) failure mechanisms which can occur under extreme oper...
WCRE
2006
IEEE
14 years 2 months ago
2006
IEEE
The understanding of the structure of a software system can be improved by analyzing the system’s evolution during development. Visualizations of software history that provide o...