Sciweavers

5639 search results - page 9 / 1128

» Timed Abstract Non-interference

62

SARA
2007
Springer

81views Artificial Intelligence» more SARA 2007»

State Abstraction in Real-Time Heuristic Search

15 years 3 months ago

State Abstraction in Real-Time Heuristic Search

Download webdocs.cs.ualberta.ca

Vadim Bulitko

claim paper

Read More »

59

Voted

FORMATS
2005
Springer

82views Formal Methods» more FORMATS 2005»

Timed Abstract Non-interference

15 years 3 months ago

Timed Abstract Non-interference

Download profs.sci.univr.it

Roberto Giacobazzi, Isabella Mastroeni

claim paper

Read More »

62

ASIACRYPT
2004
Springer

113views Cryptology» more ASIACRYPT 2004»

k-Times Anonymous Authentication (Extended Abstract)

15 years 3 months ago

k-Times Anonymous Authentication (Extended Abstract)

Download www.iacr.org

Isamu Teranishi, Jun Furukawa, Kazue Sako

claim paper

Read More »

80

ESOP
2004
Springer

97views Programming Languages» more ESOP 2004»

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

15 years 3 months ago

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

Download www.di.ens.fr

Antoine Miné

claim paper

Read More »

74

FC
2004
Springer

78views Cryptology» more FC 2004»

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

15 years 3 months 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 »