17 search results - page 4 / 4 » HOIST: a system for automatically deriving static analyzers ... |
CCS
2007
ACM
13 years 11 months ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
PLDI
1997
ACM
13 years 9 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...