1![A preliminary version of this paper appears in Advances in Cryptology – EUROCRYPT 2004, volume 3027 of Lecture Notes in Computer Science, C. Cachin and J. Camenisch ed., Springer-Verlag, 2004. This is the full version. A preliminary version of this paper appears in Advances in Cryptology – EUROCRYPT 2004, volume 3027 of Lecture Notes in Computer Science, C. Cachin and J. Camenisch ed., Springer-Verlag, 2004. This is the full version.](https://www.pdfsearch.io/img/ea6a3f847dc6bbcfde06c890a2dd3ccb.jpg) | Add to Reading ListSource URL: www.neven.orgLanguage: English - Date: 2012-04-18 06:07:38
|
---|
2![An extended abstract of this paper appears in Victor Shoup, editor, Advances in Cryptology – CRYPTO 2005, Volume 3621 of Lecture Notes in Computer Science, pages 205–222, Santa Barbara, California, August 14 – 18, An extended abstract of this paper appears in Victor Shoup, editor, Advances in Cryptology – CRYPTO 2005, Volume 3621 of Lecture Notes in Computer Science, pages 205–222, Santa Barbara, California, August 14 – 18,](https://www.pdfsearch.io/img/fb2e53eaf2c873f12f0c4dc8ecdb3e7f.jpg) | Add to Reading ListSource URL: www.neven.orgLanguage: English - Date: 2012-04-18 06:07:55
|
---|
3![Advances and Challenges of Probabilistic Model Checking Marta Kwiatkowska Gethin Norman David Parker Computing Laboratory Department of Computing Science Advances and Challenges of Probabilistic Model Checking Marta Kwiatkowska Gethin Norman David Parker Computing Laboratory Department of Computing Science](https://www.pdfsearch.io/img/ff00dc9b3081cd487cf0bcdccbf0f731.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2011-12-22 18:19:34
|
---|
4![Advances and Challenges of Quantitative Verification and Synthesis for Cyber-Physical Systems Marta Kwiatkowska Department of Computer Science, University of Oxford, UK Abstract—We are witnessing a huge growth of cyber Advances and Challenges of Quantitative Verification and Synthesis for Cyber-Physical Systems Marta Kwiatkowska Department of Computer Science, University of Oxford, UK Abstract—We are witnessing a huge growth of cyber](https://www.pdfsearch.io/img/9e7da2b0a23dfef68e17fe58535a1d0a.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-09-02 06:46:32
|
---|
5![An abridged version of this paper appears in Advances in Cryptology – Crypto 96 Proceedings, Lecture Notes in Computer Science Vol. 1109, N. Koblitz ed., Springer-Verlag, 1996. Keying Hash Functions for Message Authent An abridged version of this paper appears in Advances in Cryptology – Crypto 96 Proceedings, Lecture Notes in Computer Science Vol. 1109, N. Koblitz ed., Springer-Verlag, 1996. Keying Hash Functions for Message Authent](https://www.pdfsearch.io/img/d55f1f53beb35b13c6408afb59d4fd39.jpg) | Add to Reading ListSource URL: cseweb.ucsd.eduLanguage: English - Date: 2006-02-10 14:35:40
|
---|
6![A preliminary version of this paper appears in Advances in Cryptology – CRYPTO ’06, Lecture Notes in Computer Science Vol. 4117 , C. Dwork ed., Springer-Verlag, 2006. This is the full version. New Proofs for NMAC and A preliminary version of this paper appears in Advances in Cryptology – CRYPTO ’06, Lecture Notes in Computer Science Vol. 4117 , C. Dwork ed., Springer-Verlag, 2006. This is the full version. New Proofs for NMAC and](https://www.pdfsearch.io/img/40409bd16f0d69609248b855f45fac52.jpg) | Add to Reading ListSource URL: cseweb.ucsd.eduLanguage: English - Date: 2006-08-14 17:10:52
|
---|
7![Cognitive Reasoning and Trust in Human-Robot Interactions? Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract. We are witnessing accelerating technological advances in autonomous Cognitive Reasoning and Trust in Human-Robot Interactions? Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract. We are witnessing accelerating technological advances in autonomous](https://www.pdfsearch.io/img/fb52c2f9585858da2f848a08821ee8c4.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2017-04-04 10:42:31
|
---|
8![](/pdf-icon.png) | Add to Reading ListSource URL: www.advances-in-radio-science.net- Date: 2016-01-08 05:27:27
|
---|
9![](/pdf-icon.png) | Add to Reading ListSource URL: www.advances-in-science-and-research.net- Date: 2018-04-25 05:31:42
|
---|
10![](/pdf-icon.png) | Add to Reading ListSource URL: www.advances-in-science-and-research.net- Date: 2016-01-08 04:06:54
|
---|