Sciweavers

23413 search results - page 424 / 4683
» or 2005
Sort
View
ESAS
2005
Springer
16 years 8 days ago
Side Channel Attacks on Message Authentication Codes
Katsuyuki Okeya, Tetsu Iwata
122
Voted
FM
2005
Springer
102views Formal Methods» more  FM 2005»
16 years 7 days ago
Symbolic Animation of JML Specifications
Fabrice Bouquet, Frédéric Dadeau, Br...
141
Voted
FMCO
2005
Springer
16 years 7 days ago
Modular Specification of Encapsulated Object-Oriented Components
Arnd Poetzsch-Heffter, Jan Schäfer
FSR
2005
Springer
80views Robotics» more  FSR 2005»
16 years 7 days ago
Real-Time Regular Polygonal Sign Detection
Nick Barnes, Gareth Loy