Sciweavers

4340 search results - page 80 / 868

» Formal Methods and Cryptography

166

Voted

SAS
2010
Springer

140views Formal Methods» more SAS 2010»

Automatic Verification of Determinism for Structured Parallel Programs

15 years 5 months ago

Automatic Verification of Determinism for Structured Parallel Programs

Download www.cs.rice.edu

Martin T. Vechev, Eran Yahav, Raghavan Raman, Vive...

claim paper

Read More »

181

MEMOCODE
2010
IEEE

133views Formal Methods» more MEMOCODE 2010»

ATLAS: Automatic Term-level abstraction of RTL designs

15 years 5 months ago

ATLAS: Automatic Term-level abstraction of RTL designs

Download www.eecs.berkeley.edu

Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia...

claim paper

Read More »

171

FORTE
2009

135views Formal Methods» more FORTE 2009»

Dynamic Symbolic Execution of Distributed Concurrent Objects

15 years 5 months ago

Dynamic Symbolic Execution of Distributed Concurrent Objects

Download www.iist.unu.edu

Andreas Griesmayer, Bernhard K. Aichernig, Einar B...

claim paper

Read More »

162

SAS
2012
Springer

210views Formal Methods» more SAS 2012»

Bilateral Algorithms for Symbolic Abstraction

13 years 9 months ago

Bilateral Algorithms for Symbolic Abstraction

Download research.cs.wisc.edu

Aditya V. Thakur, Matt Elder, Thomas W. Reps

claim paper

Read More »

207

JOC
2011

104views more JOC 2011»

On the Security of Oscillator-Based Random Number Generators

14 years 10 months ago

On the Security of Oscillator-Based Random Number Generators

Download eprint.iacr.org

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...

claim paper

Read More »

« Prev « First page 80 / 868 Last » Next »