( en | de | ru )

 

Disambiguation of "Andrés, Miguel E."

Author of the publication

copydeleteadd this publication to your clipboard
Interactive Information Flow - (Invited Talk).

, , and . ARSPA-WITS, volume 6186 of Lecture Notes in Computer Science, page 111. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Miguel Andrés Sanz

Andrés-Miguel Miguélez-Morán

Andrés Serna

Andrés Bejas

Andrés Kling

 

Other publications of authors with the same name

Preface to the special issue on quantitative information flow., , and . Math. Struct. Comput. Sci., 25 (2): 203-206 (2015)Conditional Probabilities over Probabilistic and Nondeterministic Systems., and . TACAS, volume 4963 of Lecture Notes in Computer Science, page 157-172. Springer, (2008)Computing the Leakage of Information-Hiding Systems., , , and . TACAS, volume 6015 of Lecture Notes in Computer Science, page 373-389. Springer, (2010)Safe Equivalences for Security Properties., , , and . IFIP TCS, volume 323 of IFIP Advances in Information and Communication Technology, page 55-70. Springer, (2010)Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems.. Radboud University Nijmegen, Netherlands, (2011)Information Hiding in Probabilistic Concurrent Systems., , , and . QEST, page 17-26. IEEE Computer Society, (2010)Entropy and Attack Models in Information Flow - (Invited Talk)., , and . IFIP TCS, volume 323 of IFIP Advances in Information and Communication Technology, page 53-54. Springer, (2010)Probabilistic Information Flow., , and . LICS, page 314-321. IEEE Computer Society, (2010)Significant Diagnostic Counterexamples in Probabilistic Model Checking., , and . Haifa Verification Conference, volume 5394 of Lecture Notes in Computer Science, page 129-148. Springer, (2008)Information Flow in Interactive Systems., , and . CONCUR, volume 6269 of Lecture Notes in Computer Science, page 102-116. Springer, (2010)