|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi |
Quantitative information flow in interactive systems.  |
Journal of Computer Security  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova |
Information hiding in probabilistic concurrent systems. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel E. Andrés |
Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi |
Differential Privacy: on the trade-off between Utility and Information Leakage |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi |
On the relation between Differential Privacy and Quantitative Information Flow |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi |
On the Relation between Differential Privacy and Quantitative Information Flow. |
ICALP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi |
Quantitative Information Flow and Applications to Differential Privacy. |
FOSAD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi |
Information Flow in Interactive Systems. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Geoffrey Smith |
Computing the Leakage of Information-Hiding Systems. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Catuscia Palamidessi, Mário S. Alvim, Miguel E. Andrés |
Interactive Information Flow - (Invited Talk). |
ARSPA-WITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum |
Safe Equivalences for Security Properties. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi |
Entropy and Attack Models in Information Flow - (Invited Talk). |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova |
Information Hiding in Probabilistic Concurrent Systems. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi |
Probabilistic Information Flow. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum |
Significant Diagnostic Counterexamples in Probabilistic Model Checking |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Miguel E. Andrés, Peter van Rossum |
Conditional Probabilities over Probabilistic and Nondeterministic Systems. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum |
Significant Diagnostic Counterexamples in Probabilistic Model Checking. |
Haifa Verification Conference |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")