Science of Computer Programming

1	--	0	Pierpaolo Degano. Preface
3	--	22	Catherine Meadows. Ordering from Satan s menu: a survey of requirements specification for formal analysis of cryptographic protocols
23	--	49	Roberto Gorrieri, Fabio Martinelli. A simple framework for real-time cryptographic protocol analysis with compositional proof rules
51	--	71	Hubert Comon-Lundh, Véronique Cortier. Security properties: two agents are sufficient
73	--	99	Pablo Giambiagi, Mads Dam. On the secure implementation of security protocols
101	--	127	Dachuan Yu, Nadeem Abdul Hamid, Zhong Shao. Building certified libraries for PCC: dynamic storage allocation
129	--	160	Uday S. Reddy, Hongseok Yang. Correctness of data representations involving heap data structures
161	--	187	Atsushi Ohori. Register allocation by proof transformation
189	--	224	Christian Haack, Joe B. Wells. Type error slicing in implicitly typed higher-order languages
225	--	251	Cédric Lhoussaine. Type inference for a distributed /pi-calculus
253	--	270	Cormac Flanagan. Automatic software model checking via constraint logic

External Links