Sciweavers

10912 search results - page 426 / 2183
» Object-Oriented Programming Languages
Sort
View
109
Voted
IFIP
2009
Springer
16 years 1 months ago
Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data
Sibylle B. Fröschle, Graham Steel
IFIP
2009
Springer
16 years 1 months ago
Integrating Automated and Interactive Protocol Verification
Achim D. Brucker, Sebastian Mödersheim
CC
2007
Springer
16 years 29 days ago
Obfuscating Java: The Most Pain for the Least Gain
Michael Batchelder, Laurie J. Hendren