1204 search results - page 161 / 241 » Hybrid Probabilistic Programs |
MSCS
2006
15 years 2 months ago
2006
We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between ...
125
click to vote
JLP
2007
15 years 2 months ago
2007
Secret or private information may be leaked to an external attacker through the timing behaviour of the system running the untrusted code. After introducing a formalisation of thi...
135
click to vote
APIN
2000
15 years 2 months ago
2000
Defeasible logic is a system of reasoning in which rules have exceptions, and when rules conflict, the one that applies most specifically to the situation wins out. This paper repo...
125
click to vote
CF
2005
ACM
15 years 4 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
131
click to vote
ICALP
2007
Springer
15 years 4 months ago
2007
Springer
Adaptive security, while more realistic as an adversarial model, is typically much harder to achieve compared to static security in cryptographic protocol design. Universal composi...