Search Sciweavers | Sciweavers

—We propose a much-needed formal deﬁnition of security for cryptographic key management APIs. The advantages of our deﬁnition are that it is general, intuitive, and applicabl...

Steve Kremer, Graham Steel, Bogdan Warinschi

claim paper

Read More »

206

click to vote

HYBRID
2011
Springer

194views Control Systems» more HYBRID 2011»

The earlier the better: a theory of timed actor interfaces

14 years 6 months ago

Download chess.eecs.berkeley.edu

Marc Geilen, Stavros Tripakis, Maarten Wiggers

claim paper

Read More »

172

click to vote

ICDAR
2011
IEEE

216views Document Analysis» more ICDAR 2011»

MCS for Online Mode Detection: Evaluation on Pen-Enabled Multi-touch Interfaces

14 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers