{"_id":"knRMiTeYco8SjeD7J","bibbaseid":"bansal-bhargavan-maffeis-discoveringconcreteattacksonwebsiteauthorizationbyformalanalysis-2012","authorIDs":["hrNNizWME9gRP5FWT"],"author_short":["Bansal, C.","Bhargavan, K.","Maffeis, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2017-05-25T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Bansal"],"firstnames":["Chetan"],"suffixes":[]},{"propositions":[],"lastnames":["Bhargavan"],"firstnames":["Karthikeyan"],"suffixes":[]},{"propositions":[],"lastnames":["Maffeis"],"firstnames":["Sergio"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/26e8f4babadfc2fe47313cdb21d7b6bc8/dblp","booktitle":"CSF","crossref":"conf/csfw/2012","editor":[{"propositions":[],"lastnames":["Chong"],"firstnames":["Stephen"],"suffixes":[]}],"ee":"http://doi.ieeecomputersociety.org/10.1109/CSF.2012.27","interhash":"6956d8e5fa04b31e3da1cb4efac23f8c","intrahash":"6e8f4babadfc2fe47313cdb21d7b6bc8","isbn":"978-1-4673-1918-8","keywords":"dblp","pages":"247-262","publisher":"IEEE Computer Society","timestamp":"2019-10-17T15:57:00.000+0200","title":"Discovering Concrete Attacks on Website Authorization by Formal Analysis.","url":"http://dblp.uni-trier.de/db/conf/csfw/csf2012.html#BansalBM12","year":"2012","bibtex":"@inproceedings{conf/csfw/BansalBM12,\n added-at = {2017-05-25T00:00:00.000+0200},\n author = {Bansal, Chetan and Bhargavan, Karthikeyan and Maffeis, Sergio},\n biburl = {https://www.bibsonomy.org/bibtex/26e8f4babadfc2fe47313cdb21d7b6bc8/dblp},\n booktitle = {CSF},\n crossref = {conf/csfw/2012},\n editor = {Chong, Stephen},\n ee = {http://doi.ieeecomputersociety.org/10.1109/CSF.2012.27},\n interhash = {6956d8e5fa04b31e3da1cb4efac23f8c},\n intrahash = {6e8f4babadfc2fe47313cdb21d7b6bc8},\n isbn = {978-1-4673-1918-8},\n keywords = {dblp},\n pages = {247-262},\n publisher = {IEEE Computer Society},\n timestamp = {2019-10-17T15:57:00.000+0200},\n title = {Discovering Concrete Attacks on Website Authorization by Formal Analysis.},\n url = {http://dblp.uni-trier.de/db/conf/csfw/csf2012.html#BansalBM12},\n year = 2012\n}\n\n","author_short":["Bansal, C.","Bhargavan, K.","Maffeis, S."],"editor_short":["Chong, S."],"key":"conf/csfw/BansalBM12","id":"conf/csfw/BansalBM12","bibbaseid":"bansal-bhargavan-maffeis-discoveringconcreteattacksonwebsiteauthorizationbyformalanalysis-2012","role":"author","urls":{"Link":"http://doi.ieeecomputersociety.org/10.1109/CSF.2012.27","Paper":"http://dblp.uni-trier.de/db/conf/csfw/csf2012.html#BansalBM12"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Chetan?items=1000","creationDate":"2020-10-02T13:19:38.049Z","downloads":0,"keywords":["dblp"],"search_terms":["discovering","concrete","attacks","website","authorization","formal","analysis","bansal","bhargavan","maffeis"],"title":"Discovering Concrete Attacks on Website Authorization by Formal Analysis.","year":2012,"dataSources":["h95PzaHKqEd4c7eRK","4GrFQfJ5X4gnR5SfR"]}