1 citations · 1 across the 4 of their papers we have counts for
4 papers
Computable Approximations of Semicomputable Graphs
Vedran Čačić, Matea Čelar, Marko Horvat +1
In this work, we study the computability of topological graphs, which are obtained by gluing arcs and rays together at their endpoints. We prove that every semicomputable graph in…
Formal Security Analysis of the AMD SEV-SNP Software Interface
Petar Paradžik, Ante Derek, Marko Horvat
AMD Secure Encrypted Virtualization technologies enable confidential computing by protecting virtual machines from highly privileged software such as hypervisors. In this work, we…
Comparing Architectures of Mobile Applications
Kresimir Fertalj, Marko Horvat
This article describes various advantages and disadvantages of SMS, WAP, J2ME and Windows CE technologies in designing mobile applications. In defining the architecture of any soft…
Authentication via wireless networks
Darko Fuduric, Marko Horvat, Mario Zagar
Personal authentication is an important process we encounter almost every day; when we are logging on a computer, entering a company where we work, or a restricted area, when we ar…