Sciweavers

4340 search results - page 80 / 868
» Formal Methods and Cryptography
Sort
View
121
Voted
SAS
2010
Springer
140views Formal Methods» more  SAS 2010»
15 years 2 months ago
Automatic Verification of Determinism for Structured Parallel Programs
Martin T. Vechev, Eran Yahav, Raghavan Raman, Vive...
117
Voted
MEMOCODE
2010
IEEE
15 years 1 months ago
ATLAS: Automatic Term-level abstraction of RTL designs
Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia...
110
Voted
FORTE
2009
15 years 1 months ago
Dynamic Symbolic Execution of Distributed Concurrent Objects
Andreas Griesmayer, Bernhard K. Aichernig, Einar B...
119
Voted
SAS
2012
Springer
210views Formal Methods» more  SAS 2012»
13 years 6 months ago
Bilateral Algorithms for Symbolic Abstraction
Aditya V. Thakur, Matt Elder, Thomas W. Reps
139
Voted
JOC
2011
104views more  JOC 2011»
14 years 6 months ago
On the Security of Oscillator-Based Random Number Generators
Physical random number generators (a.k.a. TRNGs) appear to be critical components of many cryptographic systems. Yet, such building blocks are still too seldom provided with a form...
Mathieu Baudet, David Lubicz, Julien Micolod, Andr...