2138 search results - page 369 / 428 » Logical Step-Indexed Logical Relations |
128
click to vote
TCC
2007
Springer
15 years 10 months ago
2007
Springer
We prove a computational soundness theorem for symmetric-key encryption protocols that can be used to analyze security against adaptively corrupting adversaries (that is, adversar...
147
click to vote
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
136
click to vote
ANSS
2006
IEEE
15 years 10 months ago
2006
IEEE
To simulate adaptive agents with abilities matching those of their real-world counterparts, a natural approach is to incorporate adaptation mechanisms such as classical conditioni...
143
click to vote
ICNP
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
131
click to vote
IJCNN
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— This paper presents the use of a newly created network structure known as a Self-Delaying Dynamic Network (SDN). The SDNs were created to process data which varies with...