Sciweavers

154

ASIAN
2006
Springer

140views Algorithms» more ASIAN 2006»

On Completeness of Logical Relations for Monadic Types

15 years 7 months ago

Interesting properties of programs can be expressed using contextual equivalence. The latter is difficult to prove directly, hence (pre-)logical relations are often used as a tool ...

Slawomir Lasota, David Nowak, Yu Zhang

claim paper

Read More »

125

Voted

ASIAN
2006
Springer

103views Algorithms» more ASIAN 2006»

Breaking and Fixing Public-Key Kerberos

15 years 7 months ago

Download www.qatar.cmu.edu

Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov,...

claim paper

Read More »

107

Voted

ASIAN
2006
Springer

139views Algorithms» more ASIAN 2006»

A Symbolic Intruder Model for Hash-Collision Attacks

15 years 7 months ago

Download www.irit.fr

Yannick Chevalier, Mounira Kourjieh

claim paper

Read More »

135

click to vote

ASIAN
2006
Springer

140views Algorithms» more ASIAN 2006»

Modeling Urgency in Component-Based Real-Time Systems

15 years 7 months ago

Download www.jaist.ac.jp

A component-based realtime system is a simple model for the server-client relation with time constraints. This paper presents an efficient algorithm, called a blackbox testing algo...

Nguyen Van Tang, Dang Van Hung, Mizuhito Ogawa

claim paper

Read More »

124

click to vote

ASIAN
2006
Springer

80views Algorithms» more ASIAN 2006»

Combination of Abstractions in the ASTRÉE Static Analyzer

15 years 7 months ago