An Epistemic Foundation for Authentication Logics (Extended Abstract) von Halpern, Joseph Y., van der Meyden, Ron, Pucella, Riccardo

Volltext

Modeling Adversaries in a Logic for Security Protocol Analysis von Halpern, Joseph Y., Pucella, Riccardo

Volltext

Phantom types and subtyping von FLUET, MATTHEW, PUCELLA, RICCARDO

Volltext

Dealing with logical omniscience: Expressiveness and pragmatics von Halpern, Joseph Y., Pucella, Riccardo

Volltext

Probabilistic Algorithmic Knowledge von Halpern, Joseph Y., Pucella, Riccardo

Volltext

Dealing with logical omniscience: Expressiveness and pragmatics: John McCarthy's legacy von HALPERN, Joseph Y, PUCELLA, Riccardo

Volltext

Deductive Algorithmic Knowledge von Pucella, Riccardo

Volltext

A Logic for Reasoning about Evidence von Halpern, J. Y., Pucella, R.

Volltext

Characterizing and reasoning about probabilistic and non-probabilistic expectation von Halpern, Joseph Y, Pucella, Riccardo

Volltext

Independence from obfuscation: A semantic framework for diversity von Pucella, Riccardo, Schneider, Fred B.

Volltext

Stateful Contracts for Affine Types von Tov, Jesse A., Pucella, Riccardo

Volltext

Roles, stacks, histories: A triple for Hoare von BORGSTRÖM, JOHANNES, GORDON, ANDREW D., PUCELLA, RICCARDO

Volltext

Reasoning about Dynamic Policies von Pucella, Riccardo, Weissman, Vicky

Volltext

Characterizing and reasoning about probabilistic and non-probabilistic expectation von HALPERN, Joseph Y, PUCELLA, Riccardo

Volltext

Evidence with Uncertain Likelihoods von Halpern, Joseph Y., Pucella, Riccardo

Volltext

Towards a formalization for COM part i: the primitive calculus von Pucella, Riccardo

Volltext

Reactive programming in Standard ML von Pucella, R.R.

Volltext

Knowledge and Security von Pucella, Riccardo

Volltext bestellen

Validating a web service security abstraction by typing von GORDON, Andrew D, PUCELLA, Riccardo

Volltext

A Runs-and-Systems Semantics for Logics of Announcements von Pucella, Riccardo, Sadrzadeh, Mehrnoosh

Volltext