Computationally Complete Symbolic Attacker in Action

AuthID
 P-008-BZB
3
Author(s)
Bana, G
·
Sakurada, H
3
Editor(s)
Deepak D'Souza; Telikepalli Kavitha; Jaikumar Radhakrishnan
Document Type
Proceedings Paper
Year published
2012
Published
in IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India in LIPIcs, ISSN: 1868-8969
Volume: 18, Pages: 546-560
Conference
32Nd International Conference on Foundations of Software Technology and Theoretical Computer Science, Fsttcs 2012, Date: 15 December 2012 through 17 December 2012, Location: Hyderabad
Indexing
Scopus®
Dblp®/en/publications/view/274411
Google Scholar®
Publication Identifiers
Dblp: conf/fsttcs/BanaAS12
Scopus: 2-s2.0-84880205581
Source Identifiers
ISSN: 1868-8969
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service