Sciweavers

1183 search results - page 3 / 237
» On flow-sensitive security types
Sort
View
139
Voted
OOPSLA
1998
Springer
15 years 7 months ago
A Type System for Object Initialization in the Java Bytecode Language
Stephen N. Freund, John C. Mitchell
OOPSLA
1993
Springer
15 years 7 months ago
Typing the Specialization Interface
John Lamping
102
Voted
OOPSLA
1993
Springer
15 years 7 months ago
Regular Types for Active Objects
Oscar Nierstrasz
88
Voted
ACISP
2010
Springer
15 years 5 months ago
Repelling Sybil-Type Attacks in Wireless Ad Hoc Systems
Marek Klonowski, Michal Koza, Miroslaw Kutylowski
110
Voted
OOPSLA
2010
Springer
15 years 2 months ago
Concurrent programming with revisions and isolation types
Sebastian Burckhardt, Alexandro Baldassin, Daan Le...