A. Appel
Computer Networks and Communications · 1989–2005
A researcher in the Science corpus: 4 papers; trusts 2 researchers and is trusted by 11 researchers here, as inferred from the citation graph.
Subfields
- Computer Networks and Communications — 7 citations into it
Whom A. Appel trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts A. Appel overall
- Ralf Jung
- Xavier Leroy
- Manish Mahajan
- Jacques-Henri Jourdan
- David Tolpin
- Robbert Krebbers
- Derek Dreyer
- Benjamin C. Pierce
- Jan-Willem van de Meent
- Hongseok Yang
Papers from A. Appel's perspective
Ordered by how strongly the researchers A. Appel trusts endorse each paper. Same corpus, a different order for every researcher.
- Constructing attack scenarios through correlation of intrusion alerts (Conference on Computer and Communications Security)
- Efficient minimum-cost network hardening via exploit dependency graphs (19th Annual Computer Security Applications Conference, 2003. Proceedings.)
- PlanetLab: A Blueprint for Introducing Disruptive Technology into the Internet
- Scalable, graph-based network vulnerability analysis (Conference on Computer and Communications Security)
- Alert correlation in a cooperative intrusion detection framework (Proceedings 2002 IEEE Symposium on Security and Privacy)
- Delegation Logic: A Logic-based Approach to Distrbuted Authorization
- Complexity and expressive power of logic programming
- Topological analysis of network attack vulnerability (Conference on Privacy, Security and Trust)
- An indexed model of recursive types for foundational proof-carrying code (TOPL)
- Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift (International Conference on Machine Learning)
Their papers
- Foundational proof-carrying code (2001) — 379 citations
- An indexed model of recursive types for foundational proof-carrying code (2001) — 407 citations
- MulVAL: A Logic-based Network Security Analyzer (2005) — 777 citations
- Continuation-passing, closure-passing style (1989)