Search Sciweavers | Sciweavers

6274 search results - page 10 / 1255

» Proofs, Programs, Processes

177

click to vote

PROVSEC
2007
Springer

108views Security Privacy» more PROVSEC 2007»

Formal Proof of Provable Security by Game-Playing in a Proof Assistant

16 years 14 days ago

Download staff.aist.go.jp

Game-playing is an approach to write security proofs that are easy to verify. In this approach, security deﬁnitions and intractable problems are written as programs called games ...

Reynald Affeldt, Miki Tanaka, Nicolas Marti

claim paper

Read More »

176

Voted

FOAL
2009
ACM

134views Natural Language Processing» more FOAL 2009»

A type system for functional traversal-based aspects

16 years 26 days ago

Download www.ccs.neu.edu

We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...

Bryan Chadwick, Karl J. Lieberherr

claim paper

Read More »

140

click to vote

ESOP
2004
Springer

120views Programming Languages» more ESOP 2004»

Modal Proofs as Distributed Programs (Extended Abstract)

15 years 11 months ago

Download www.cs.princeton.edu

Limin Jia, David Walker

claim paper