Sciweavers

Share
3 search results - page 1 / 1
» Probabilistic Functions and Cryptographic Oracles in Higher ...
Sort
View
ESOP
2016
Springer
3 years 7 months ago
Probabilistic Functions and Cryptographic Oracles in Higher Order Logic
This paper presents a shallow embedding of a probabilistic functional programming language in higher order logic. The language features monadic sequencing, recursion, random sampli...
Andreas Lochbihler
APLAS
2010
ACM
8 years 11 months ago
Typechecking Higher-Order Security Libraries
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
Karthikeyan Bhargavan, Cédric Fournet, Nata...
VLSID
2005
IEEE
255views VLSI» more  VLSID 2005»
9 years 11 months ago
Estimation of Switching Activity in Sequential Circuits Using Dynamic Bayesian Networks
We propose a novel, non-simulative, probabilistic model for switching activity in sequential circuits, capturing both spatio-temporal correlations at internal nodes and higher ord...
Sanjukta Bhanja, Karthikeyan Lingasubramanian, N. ...
books