Sciweavers

3224 search results - page 4 / 645
» Abstract Error Projection
Sort
View
ASIACRYPT
2009
Springer
14 years 4 months ago
Smooth Projective Hashing and Password-Based Authenticated Key Exchange from Lattices
Abstract. We describe a public-key encryption scheme based on lattices — specifically, based on the hardness of the learning with error (LWE) problem — that is secure against ...
Jonathan Katz, Vinod Vaikuntanathan
FOIKS
2004
Springer
14 years 3 months ago
Abstract State Machines: An Overview of the Project
State Machines: An Overview of the Project Yuri Gurevich Microsoft Research, One Microsoft Way, Redmond, WA 98052 November 2003 This is an extended abstract of an invited talk at ...
Yuri Gurevich
TAP
2009
Springer
96views Hardware» more  TAP 2009»
14 years 4 months ago
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
action-Based Quality Estimate Stefan Ratschan Jan-Georg Smaus Institute of Computer Science of the Czech Academy of Sciences Albert-Ludwigs-Universit¨at Freiburg July 3, 2009 1 / ...
Stefan Ratschan, Jan-Georg Smaus
ISESE
2006
IEEE
14 years 3 months ago
Requirement error abstraction and classification: an empirical study
Gursimran Singh Walia, Jeffrey Carver, Thomas Phil...