Inferring Crypto API rules from code changes
dc.contributor.author
Paletov, Rumen
dc.contributor.author
Tsankov, Petar
dc.contributor.author
Raychev, Veselin
dc.contributor.author
Vechev, Martin
dc.date.accessioned
2018-07-17T09:30:42Z
dc.date.available
2018-07-15T05:57:33Z
dc.date.available
2018-07-17T09:30:42Z
dc.date.issued
2018
dc.identifier.isbn
978-1-4503-5698-5
en_US
dc.identifier.other
10.1145/3192366.3192403
en_US
dc.identifier.uri
http://hdl.handle.net/20.500.11850/275770
dc.language.iso
en
en_US
dc.publisher
Association for Computing Machinery
dc.subject
Security
en_US
dc.subject
Misuse of Cryptography
en_US
dc.subject
Learning
en_US
dc.title
Inferring Crypto API rules from code changes
en_US
dc.type
Conference Paper
dc.date.published
2018-06-11
ethz.book.title
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 18)
en_US
ethz.pages.start
450
en_US
ethz.pages.end
464
en_US
ethz.event
39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 18)
en_US
ethz.event.location
Philadelphia, PA, USA
ethz.event.date
June 18-22, 2018
en_US
ethz.identifier.wos
ethz.identifier.scopus
ethz.publication.place
New York, NY
ethz.publication.status
published
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03948 - Vechev, Martin / Vechev, Martin
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03948 - Vechev, Martin / Vechev, Martin
ethz.date.deposited
2018-07-15T05:57:42Z
ethz.source
SCOPUS
ethz.eth
yes
en_US
ethz.availability
Metadata only
en_US
ethz.rosetta.installDate
2018-07-17T09:30:44Z
ethz.rosetta.lastUpdated
2024-02-02T05:19:17Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Inferring%20Crypto%20API%20rules%20from%20code%20changes&rft.date=2018&rft.spage=450&rft.epage=464&rft.au=Paletov,%20Rumen&Tsankov,%20Petar&Raychev,%20Veselin&Vechev,%20Martin&rft.isbn=978-1-4503-5698-5&rft.genre=proceeding&rft_id=info:doi/10.1145/3192366.3192403&rft.btitle=Proceedings%20of%20the%2039th%20ACM%20SIGPLAN%20Conference%20on%20Programming%20Language%20Design%20and%20Implementation%20(PLDI%2018)
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [35279]