Sciweavers

5639 search results - page 9 / 1128

» Timed Abstract Non-interference

137

SARA
2007
Springer

81views Artificial Intelligence» more SARA 2007»

State Abstraction in Real-Time Heuristic Search

16 years 23 days ago

State Abstraction in Real-Time Heuristic Search

Download webdocs.cs.ualberta.ca

Vadim Bulitko

claim paper

Read More »

125

Voted

FORMATS
2005
Springer

82views Formal Methods» more FORMATS 2005»

Timed Abstract Non-interference

16 years 5 days ago

Timed Abstract Non-interference

Download profs.sci.univr.it

Roberto Giacobazzi, Isabella Mastroeni

claim paper

Read More »

143

ASIACRYPT
2004
Springer

113views Cryptology» more ASIACRYPT 2004»

k-Times Anonymous Authentication (Extended Abstract)

16 years 1 days ago

k-Times Anonymous Authentication (Extended Abstract)

Download www.iacr.org

Isamu Teranishi, Jun Furukawa, Kazue Sako

claim paper

Read More »

151

ESOP
2004
Springer

97views Programming Languages» more ESOP 2004»

Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors

16 years 1 days ago

Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors

Download www.di.ens.fr

Antoine Miné

claim paper

Read More »

147

FC
2004
Springer

78views Cryptology» more FC 2004»

Timing Attacks in Low-Latency Mix Systems (Extended Abstract)

16 years 1 days ago

Timing Attacks in Low-Latency Mix Systems (Extended Abstract)

Download www.cs.umass.edu

Brian Neil Levine, Michael K. Reiter, Chenxi Wang,...

claim paper

Read More »

« Prev « First page 9 / 1128 Last » Next »