Zobrazeno 1 - 10
of 69
pro vyhledávání: '"Vaswani Kapil"'
Autor:
Vaswani, Kapil, Volos, Stavros, Fournet, Cédric, Diaz, Antonio Nino, Gordon, Ken, Vembu, Balaji, Webster, Sam, Chisnall, David, Kulkarni, Saurabh, Cunningham, Graham, Osborne, Richard, Wilkinson, Dan
We present IPU Trusted Extensions (ITX), a set of experimental hardware extensions that enable trusted execution environments in Graphcore's AI accelerators. ITX enables the execution of AI workloads with strong confidentiality and integrity guarante
Externí odkaz:
http://arxiv.org/abs/2205.09005
Publikováno v:
Communications of the ACM; Sep2024, Vol. 67 Issue 9, p48-53, 6p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
DELIGNAT-LAVAUD, ANTOINE, FOURNET, CÉDRIC, VASWANI, KAPIL, CLEBSCH, SYLVAN, RIECHERT, MAIK, COSTA, MANUEL, RUSSINOVICH, MARK
Publikováno v:
Communications of the ACM; Jan2024, Vol. 67 Issue 1, p68-78, 9p
In encrypted databases, sensitive data is protected from an untrusted server by encrypting columns using partially homomorphic encryption schemes, and storing encryption keys in a trusted client. However, encrypting columns and protecting encryption
Externí odkaz:
http://arxiv.org/abs/1605.01092
Publikováno v:
Logical Methods in Computer Science, Volume 7, Issue 3 (September 2, 2011) lmcs:986
We are interested in identifying and enforcing the isolation requirements of a concurrent program, i.e., concurrency control that ensures that the program meets its specification. The thesis of this paper is that this can be done systematically start
Externí odkaz:
http://arxiv.org/abs/1107.4422
Publikováno v:
ACM Queue; Mar/Apr2024, Vol. 22 Issue 2, p87-107, 21p
Autor:
RUSSINOVICH, MARK, COSTA, MANUEL, FOURNET, CÉDRIC, CHISNALL, DAVID, DELIGNAT-LAVAUD, ANTOINE, CLEBSCH, SYLVAN, VASWANI, KAPIL, BHATIA, VIKAS
Publikováno v:
Communications of the ACM; Jun2021, Vol. 64 Issue 6, p54-61, 8p, 1 Color Photograph
Autor:
DELIGNAT-LAVAUD, ANTOINE, FOURNET, CÉDRIC, VASWANI, KAPIL, CLEBSCH, SYLVAN, RIECHERT, MAIK, COSTA, MANUEL, RUSSINOVICH, MARK
Publikováno v:
ACM Queue; Jul/Aug2023, Vol. 21 Issue 4, p94-122, 29p
Publikováno v:
Foundations and Trends in Programming Languages
Foundations and Trends® in Programming Languages
Foundations and Trends® in Programming Languages
Modular heap analysis techniques analyze a program by computing summaries for every procedure in the program that describes its effects on an input heap using pre computed summaries for the called procedures. In this article we focus on a family of m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::65df9465b83e44d20dd06ee4cccd6c6f
http://lara.epfl.ch/~kandhada/fntPL-2015.pdf
http://lara.epfl.ch/~kandhada/fntPL-2015.pdf