Andrew K. Hirsch

Citata da

	Tutte	Dal 2020
Citazioni	102	91
Indice H	5	5
i10-index	2	1

2014201520162017201820192020202120222023202420251 1 3 1 2 1 7 5 31 44 3

Accesso pubblico

Visualizza tutto

4 articoli

0 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Ethan CecchettiAssistant Professor of Computer Sciences, University of Wisconsin–MadisonEmail verificata su wisc.edu
Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Email verificata su mpi-sws.org
Michael ClarksonProvost's Teaching Fellow and Senior Lecturer of Computer Science, Cornell UniversityEmail verificata su cornell.edu
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaEmail verificata su cis.upenn.edu
Paul HeUniversity of TorontoEmail verificata su cs.toronto.edu
Ross TateAssistant Professor in Computer Science at Cornell UniversityEmail verificata su cs.cornell.edu
Fabrizio MontesiProfessor of Computer Science, University of Southern DenmarkEmail verificata su imada.sdu.dk
Eva GraversenPostDoc, Department of Mathematics and Computer Science University of Southern DenmarkEmail verificata su imada.sdu.dk
Pedro H. Azevedo de AmorimUniversity of OxfordEmail verificata su cs.ox.ac.uk
Owen ArdenAssociate Professor of Computer Science UCSCEmail verificata su soe.ucsc.edu

Segui

Andrew K. Hirsch

University at Buffalo, SUNY

Email verificata su buffalo.edu - Home page

choreographic programming proof theory type systems authorization information flow


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
Pirouette: higher-order typed functional choreographies AK Hirsch, D Garg Proceedings of the ACM on Programming Languages 6 (POPL), 1-27, 2022	49	2022
Belief semantics of authorization logic AK Hirsch, MR Clarkson Proceedings of the 2013 ACM SIGSAC conference on Computer & communications …, 2013	13	2013
Giving semantics to program-counter labels via secure effects AK Hirsch, E Cecchetti Proceedings of the ACM on Programming Languages 5 (POPL), 1-29, 2021	9	2021
Alice or Bob?: Process polymorphism in choreographies E Graversen, AK Hirsch, F Montesi Journal of Functional Programming 34, e1, 2024	8	2024
Semantics for Noninterference with Interaction Trees L Silver, P He, E Cecchetti, AK Hirsch, S Zdancewic 37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023	7	2023
First-Order Logic for Flow-Limited Authorization AK Hirsch, PHA de Amorim, E Cecchetti, R Tate, O Arden 2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 123-138, 2020	5	2020
Compositional Security Definitions for Higher-Order Where Declassification J Menz, AK Hirsch, P Li, D Garg	3	2023
Strict and lazy semantics for effects: layering monads and comonads AK Hirsch, R Tate Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018	3	2018
Compositional Security Definitions for Higher-Order Where Declassification-Technical Appendix J Menz, A Hirsch, P Li, D Garg Technical Report. https://gitlab. mpi-sws. org/Quarkbeast/lambda-where …, 2023	2	2023
Semantics for Noninterference with Interaction Trees (Artifact) L Silver, P He, E Cecchetti, AK Hirsch, S Zdancewic Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2023	2	2023
Semantics for Secure Software AK Hirsch Cornell University, 2019	1	2019
Corps: A Core Calculus of Hierarchical Choreographic Programming AK Hirsch arXiv preprint arXiv:2406.01456, 2024		2024
37th European Conference on Object-Oriented Programming (ECOOP 2023) AD Barwell, P Hou, N Yoshida, F Zhou, J Bauwens, E Gonzalez Boix, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2023		2023
Nexus Authorization Logic (NAL): Logical Results AK Hirsch, MR Clarkson arXiv preprint arXiv:1211.3700, 2012		2012
New Semantic Foundations for Language-Based Security AK Hirsch

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–15

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori