DrSergioMaffeis

Faculty of Engineering, Department of Computing

Senior Lecturer

Contact

+44 (0)20 7594 8390sergio.maffeis Website

Location

441Huxley BuildingSouth Kensington Campus

Summary

Publications

Citation

BibTex format

@article{Bansal:2014,
author = {Bansal, C and Bhargavan, K and Delignat-Lavaud, A and Maffeis, S},
journal = {Journal of Computer Security},
pages = {601--657},
title = {Discovering concrete attacks on website authorization by formal analysis},
volume = {22},
year = {2014}
}

Download

RIS format (EndNote, RefMan)

TY  - JOUR
AU  - Bansal,C
AU  - Bhargavan,K
AU  - Delignat-Lavaud,A
AU  - Maffeis,S
EP  - 657
PY  - 2014///
SP  - 601
TI  - Discovering concrete attacks on website authorization by formal analysis
T2  - Journal of Computer Security
VL  - 22
ER  -

Download