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...
Hassan Jameel Asghar, Josef Pieprzyk, Huaxiong Wan...
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...
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...
A. Benmansour, Stephane Azzopardi, J. C. Martin, E...
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...