Andrew K. Hirsch

Identifiers

• name variant Andrew K. Hirsch 0.60 · backfill

Papers (4)

1. Step in Tine: Forking Processes in Functional Choreographies cs.PL · 2026 · author #2
2. Compositional security definitions for higher-order where declassification cs.PL · 2026 · author #2
3. Belief Semantics of Authorization Logic cs.LO · 2013 · author #1
4. Nexus Authorization Logic (NAL): Logical Results cs.CR · 2012 · author #1

Mentions

• 1302.2123 #1 · backfill · confidence 0.70 Andrew K. Hirsch
• 1211.3700 #1 · backfill · confidence 0.70 Andrew K. Hirsch
• 2605.23031 #2 · arxiv_oai · confidence 0.70 Andrew K. Hirsch

Frequent Coauthors

• Michael R. Clarkson 2 shared papers
• Ashley Samuelson 1 shared papers
• Deepak Garg 1 shared papers
• Ethan Cecchetti 1 shared papers
• Jan Menz 1 shared papers
• Peixuan Li 1 shared papers