Sciweavers

21520 search results - page 170 / 4304
» Symmetric network computation
Sort
View
DSN
2002
IEEE
15 years 11 months ago
Formal Development of an Embedded Verifier for Java Card Byte Code
Ludovic Casset, Lilian Burdy, Antoine Requet