Search Sciweavers | Sciweavers

6274 search results - page 10 / 1255

» Proofs, Programs, Processes

click to vote

PROVSEC
2007
Springer

108views Security Privacy» more PROVSEC 2007»

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

14 years 1 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 »

click to vote

FOAL
2009
ACM

134views Natural Language Processing» more FOAL 2009»

A type system for functional traversal-based aspects

14 years 2 months 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 »

click to vote

ESOP
2004
Springer

120views Programming Languages» more ESOP 2004»

Modal Proofs as Distributed Programs (Extended Abstract)

14 years 1 months ago

Download www.cs.princeton.edu

Limin Jia, David Walker

claim paper

Read More »