890 search results - page 103 / 178 » Programming language methods in computer security |
246
click to vote
STOC
2003
ACM
16 years 2 months ago
2003
ACM
In dynamic stabbing, we operate on a dynamic set of intervals. A stabbing query asks for an interval containing a given point. This basic problem encodes problems such as method l...
119
click to vote
ENTCS
2007
15 years 2 months ago
2007
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...
98
Voted
SAC
2006
ACM
15 years 8 months ago
2006
ACM
Using small, context-specific interfaces in variable declarations serves the decoupling of classes and increases a program’s flexibility. To minimize its interface, a thorough a...
128
click to vote
TGC
2010
Springer
15 years 3 days ago
2010
Springer
Recent work in resource analysis has translated the idea of amortised resource analysis to imperative languages using a program logic that allows mixing of assertions about heap sh...
116
click to vote
FOSSACS
2009
Springer
15 years 9 months ago
2009
Springer
Although cryptographic protocols are typically analyzed in isolation, they are used in combinations. If a protocol was analyzed alone and shown to meet some security goals, will it...