|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 129 publication records. Showing 129 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei |
Logical Foundations of Secure Resource Management in Protocol Implementations.  |
POST  |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Myrto Arapinis, Véronique Cortier, Steve Kremer, Mark Ryan 0001 |
Practical Everlasting Privacy. |
POST |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Cheval, Bruno Blanchet |
Proving More Observational Equivalences with ProVerif. |
POST |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis |
Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage. |
POST |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Jérémy Planul |
On Layout Randomization for Arrays and Functions. |
POST |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes 0001, Fabian Bendun, Dominique Unruh |
Computational Soundness of Symbolic Zero-Knowledge Proofs: Weaker Assumptions and Mechanized Verification. |
POST |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimiter Milushev, Dave Clarke 0001 |
Towards Incrementalization of Holistic Hyperproperties. |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Basin, Cas Cremers, Simon Meier |
Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication. |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mu Yang, Vladimiro Sassone, Sardaouna Hamadou |
A Game-Theoretic Analysis of Cooperation in Anonymity Networks. |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Cortier, Cyrille Wiedling |
A Formal Analysis of the Norwegian E-voting Protocol. |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Torben Amtoft, Josiah Dodds, Zhi Zhang, Andrew W. Appel, Lennart Beringer, John Hatcliff, Xinming Ou, Andrew Cousino |
A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow. |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Cortier, Jan Degrieck, Stéphanie Delaune |
Analysing Routing Protocols: Four Nodes Topologies Are Sufficient. |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Franklin, Sagar Chaki, Anupam Datta, Jonathan M. McCune, Amit Vasudevan |
Parametric Verification of Address Space Separation. |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Miriam Paiola, Bruno Blanchet |
Verification of Security Protocols with Lists: From Length One to Unbounded Length. |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Crampton, Charles Morisset |
PTaCL: A Language for Attribute-Based Access Control in Open Systems. |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Datta, Divya Sharma, Arunesh Sinha |
Provable De-anonymization of Large Datasets with Sparse Dimensions. |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Blanchet |
Security Protocol Verification: Symbolic and Computational Models. |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Eike Best, Philippe Darondeau |
Deciding Selective Declassification of Petri Nets. |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio |
Type-Based Analysis of PKCS#11 Key Management. |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ting-Fang Yen, Michael K. Reiter |
Revisiting Botnet Models and Their Implications for Takedown Strategies. |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Umut A. Acar, Amal Ahmed 0001, James Cheney, Roly Perera |
A Core Calculus for Provenance. |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Myrto Arapinis, Sergiu Bursuc, Mark Ryan 0001 |
Privacy Supporting Cloud Computing: ConfiChair, a Case Study. |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Federico Olmedo, Santiago Zanella Béguelin |
Verified Indifferentiable Hashing into Elliptic Curves. |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Myrto Arapinis, Sergiu Bursuc, Mark Dermot Ryan |
Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity. |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Basin, Vincent Jugé, Felix Klaedtke, Eugen Zalinescu |
Enforceable Security Policies Revisited. |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cynthia Dwork |
Differential Privacy and the Power of (Formalizing) Negative Thinking - (Extended Abstract). |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Comon-Lundh, Véronique Cortier, Guillaume Scerri |
Security Proof with Dishonest Keys. |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Joshua D. Guttman (eds.) |
Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gergei Bana, Hubert Comon-Lundh |
Towards Unconditional Soundness: Computationally Complete Symbolic Attacker. |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #129 of 129 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license