Výsledky vyhledávání - "Calderón Trilla"

Autor: Calderón Trilla, Michael Hicks, José Manuel, Ian Sweet, Stephen Magill, Piotr Mardziel

Publikováno v: Bacci, G, Mardare, R, Panangaden, P & Plotkin, G D 2020, Quantitative Equational Reasoning . in G Barthe, J-P Katoen & A Silva (eds), Foundations of Probabilistic Programming . Cambridge University Press, pp. 333-360 . https://doi.org/10.1017/9781108770750.011

Equational logic has been a central theme in mathematical reasoning and in reasoning about programs. We introduce a quantitative analogue of equational reasoning that allows one to reason about approximate equality. The equality symbol is annotated w

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d2e3f1263540d6bac865b29347d894a0
https://vbn.aau.dk/da/publications/dcd33553-7b69-4222-a4b7-16ea6a9b45f1

Zobrazit plný text záznamu

RAMPARTS

Autor: Yuriy Polyakov, Jason Dagit, Kurt Rohloff, David W. Archer, Gerard Ryan, Alex J. Malozemoff, José Manuel Calderón Trilla

Publikováno v: WAHC@CCS

Homomorphic Encryption (HE) is an emerging technology that enables computing on data while the data is encrypted. A major challenge with homomorphic encryption is that it takes extensive expert knowledge to design meaningful and useful programs that

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::1f2eb882b2c3a67c579d3ef4a836e015
https://doi.org/10.1145/3338469.3358945

Zobrazit plný text záznamu

What’s the Over/Under? Probabilistic Bounds on Information Leakage

Autor: Stephen Magill, Ian Sweet, Chad Scherrer, Michael Hicks, José Manuel Calderón Trilla

Publikováno v: Lecture Notes in Computer Science ISBN: 9783319897219
POST

Quantitative information flow (QIF) is concerned with measuring how much of a secret is leaked to an adversary who observes the result of a computation that uses it. Prior work has shown that QIF techniques based on abstract interpretation with proba

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::4c93d061038d86137435b3bc9ff5bde1
https://doi.org/10.1007/978-3-319-89722-6_1

Zobrazit plný text záznamu

Improving implicit parallelism

Autor: Colin Runciman, José Manuel Calderón Trilla

Publikováno v: Haskell

Using static analysis techniques compilers for lazy functional languages can be used to identify parts of a program that can be legitimately evaluated in parallel and ensure that those expressions are executed concurrently with the main thread of exe

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d78240e185d267581f27abb4adb27a63
https://doi.org/10.1145/2804302.2804308

Zobrazit plný text záznamu

Akademický článek

Building a Graphical Modelling Language for Efficient Homomorphic Encryption Schema Configuration: HomoLang.

Autor: Qassir, Samar Amil¹ samarqassir@uomustansiriyah.edu.iq

Publikováno v: TEM Journal. Aug2024, Vol. 13 Issue 3, p2285-2296. 12p.

Zobrazit plný text záznamu

Kniha

Weaving Parallel Threads.

Autor: Calderón Trilla, José Manuel, Poulding, Simon, Runciman, Colin

Publikováno v: Search-Based Software Engineering (9783319221823); 2015, p62-76, 15p

Zobrazit plný text záznamu

Conference

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search.

Autor: DONGKWON LEE¹ dklee@ropas.snu.ac.kr, WOOSUK LEE² woosuk@hanyang.ac.kr, HAKJOO OH³ hakjoo_oh@korea.ac.kr, KWANGKEUN YI¹ kwang@ropas.snu.ac.kr

Publikováno v: ACM Transactions on Programming Languages & Systems. Sep2023, Vol. 45 Issue 3, p1-37. 37p.

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání