Search Sciweavers | Sciweavers

6274 search results - page 10 / 1255

» Proofs, Programs, Processes

166

Voted

PROVSEC
2007
Springer

108views Security Privacy» more PROVSEC 2007»

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

15 years 12 months 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 »

171

click to vote

FOAL
2009
ACM

134views Natural Language Processing» more FOAL 2009»

A type system for functional traversal-based aspects

16 years 10 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 »

131

Voted

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