9 search results - page 1 / 2 » fmics 2010 |
103
Voted
FMICS
2010
Springer
15 years 23 hour ago
2010
Springer
85
Voted
FMICS
2010
Springer
15 years 23 hour ago
2010
Springer
98
Voted
FMICS
2010
Springer
15 years 23 hour ago
2010
Springer
Identity Mixer is an anonymous credential system developed at IBM that allows users for instance to prove that they are over 18 years old without revealing their name or birthdate....
84
Voted
FMICS
2010
Springer
14 years 11 months ago
2010
Springer
Bitwise instructions, loops and indirect data access pose difficult challenges to the verification of microcontroller programs. In particular, it is necessary to show that an indir...
86
Voted
FMICS
2010
Springer
15 years 23 hour ago
2010
Springer
Embedded networks for chip-to-chip networks are emerging as communication infrastructure in mobile devices. We present three novel embedded network protocols: a sliding window prot...