Show simple item record

Synthesis of Adaptive Side-Channel Attacks

dc.contributor.authorPhan, Q-Sen_US
dc.contributor.authorBang, Len_US
dc.contributor.authorPasareanu, CSen_US
dc.contributor.authorMalacaria, Pen_US
dc.contributor.authorBultan, Ten_US
dc.contributor.authorIEEEen_US
dc.date.accessioned2017-06-12T12:36:07Z
dc.date.available2017-04-21en_US
dc.date.issued2017en_US
dc.date.submitted2017-05-31T14:17:43.337Z
dc.identifier.issn1063-6900en_US
dc.identifier.urihttp://qmro.qmul.ac.uk/xmlui/handle/123456789/23889
dc.format.extent328 - 342en_US
dc.subjectSide-Channel Attacksen_US
dc.subjectQuantitative Information Flowen_US
dc.subjectCryptographyen_US
dc.subjectMulti-run Securityen_US
dc.subjectSymbolic Executionen_US
dc.subjectSatisfiability Modulo Theoriesen_US
dc.subjectMaxSMTen_US
dc.subjectModel Countingen_US
dc.titleSynthesis of Adaptive Side-Channel Attacksen_US
dc.typeConference Proceeding
dc.identifier.doi10.1109/CSF.2017.8en_US
pubs.author-urlhttp://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000426068500024&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=612ae0d773dcbdba3046f6df545e9f6aen_US
pubs.notesNo embargoen_US
pubs.publication-statusPublisheden_US


Files in this item

Thumbnail
Name:
Malacaria Synthesis of Adaptive ...
Size:
347.8Kb
Format:
application/
Description:
Accepted version
View/Open

This item appears in the following Collection(s)

Show simple item record