Zobrazeno 1 - 10
of 97
pro vyhledávání: '"Dusko Pavlovic"'
Autor:
Dusko Pavlovic, Peter-Michael Seidel
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 236, Iss Proc. QPL 2016, Pp 145-160 (2017)
Effect algebras are one of the generalizations of Boolean algebras proposed in the quest for a quantum logic. Frobenius algebras are a tool of categorical quantum mechanics, used to present various families of observables in abstract, often nonstanda
Externí odkaz:
https://doaj.org/article/1f889602194a4ae4a75d81fd7112fa21
Autor:
J. Castiglione, Dusko Pavlovic
Publikováno v:
IEEE Transactions on Computational Social Systems. 7:1469-1475
In just a few years, ransomware evolved into one of the most pernicious threats on the web. From hijacking private disks, the cybercriminals moved to disabling hospital networks, while the cyberwarriors launched destructive cyberwar exercises masquer
Publikováno v:
2021 IEEE Symposium on Visualization for Cyber Security (VizSec).
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 106:141-166
Actor Networks are a modelling framework for cyber-physical-system protocols based on Latour's actor-network theory that addresses the way we now create and exploit the power of networks whose components are no longer limited to programs, but can als
Autor:
Dusko Pavlovic
Publikováno v:
Protocols, Strands, and Logic ISBN: 9783030916305
We describe how a probabilistic Hoare logic with localities can be used for reasoning about security. As a proof-of-concept, we analyze Vernam and El-Gamal cryptosystems, prove the security properties that they do satisfy, and disprove those that the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4c9c72451462348c242d621fe683e032
https://doi.org/10.1007/978-3-030-91631-2_18
https://doi.org/10.1007/978-3-030-91631-2_18
Autor:
Dusko Pavlovic
It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions. In this unique textbook/reference, programs are drawn as string diagrams in
Autor:
Dusko Pavlovic
Publikováno v:
Logic, Language, and Security ISBN: 9783030620769
We pursue an extension of the Curry-Howard isomorphism of propositions and types by a correspondence of cut elimination and program fusion. In particular, we explore the repercussions of this extension in generic and transformational programming. It
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ed1f79980eb58952efebb136533ba79a
https://doi.org/10.1007/978-3-030-62077-6_4
https://doi.org/10.1007/978-3-030-62077-6_4
In this paper we generalise the notion of extensional (functional) equivalence of programs to abstract equivalences induced by abstract interpretations . The standard notion of extensional equivalence is recovered as the special case, induced by the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::38748f349c638681c71b324843dc68e6
http://hdl.handle.net/11568/1029386
http://hdl.handle.net/11568/1029386
Publikováno v:
IEEE Internet of Things Journal. 4:1853-1867
When been threatened by hijacking or suicide-by-pilots, the airliner may either crash itself or be shot down due to the potential of the suicide attack. There exist some solutions that allow air traffic controllers or federal agents to take over pilo
Autor:
Vladimir Vovk, Dusko Pavlovic
Publikováno v:
Annals of Mathematics and Artificial Intelligence
We construct universal prediction systems in the spirit of Popper's falsifiability and Kolmogorov complexity and randomness. These prediction systems do not depend on any statistical assumptions (but under the IID assumption they dominate, to within