Type checking cryptography implementations

Manuel B M Barbosa, Andrew D Moss, Daniel Page, N. Rodrigues, P.F. Silva

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

3 Citations (Scopus)

Original language	English
Title of host publication	Fundamentals of Software Engineering - FSEN 2011
Publisher	Springer Berlin Heidelberg
Pages	316-334
Volume	7141
Publication status	Published - 2011

Handle.net

@inproceedings{0bc3c5f20ba346c48630ff7d0873da62,

title = "Type checking cryptography implementations",

author = "Barbosa, {Manuel B M} and Moss, {Andrew D} and Daniel Page and N. Rodrigues and P.F. Silva",

year = "2011",

language = "English",

volume = "7141",

pages = "316--334",

booktitle = "Fundamentals of Software Engineering - FSEN 2011",

publisher = "Springer Berlin Heidelberg",

address = "Germany",

}