Title
The first workshop on language support for privacy-enhancing technologies (PETShop'13)
Abstract
The Workshop on Language Support for Privacy-Enhancing Technologies (PETShop'13) aims at bringing together researchers from the areas of security, programming languages, compiler construction, and program verification to exchange ideas and research results to improve the practicality of state of the art cryptographic privacy-enhancing technologies.
Year
DOI
Venue
2013
10.1145/2508859.2509032
ACM Conference on Computer and Communications Security
Keywords
Field
DocType
privacy-enhancing technologies,compiler construction,art cryptographic,language support,privacy-enhancing technology,research result,programming language,program verification,programming languages,verification
Fifth-generation programming language,Second-generation programming language,Programming language,Computer science,Cryptography,Compiler correctness,Compiler,Compiler construction,Privacy-enhancing technologies,Third-generation programming language
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
5
Name
Order
Citations
PageRank
Martin Franz1582.50
Andreas Holzer219713.62
Rupak Majumdar33401220.08
Bryan Parno4240099.97
Helmut Veith52476140.58