Manish Mahajan
2015
A researcher in the Science corpus: 1 paper; trusts 2 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Whom Manish Mahajan trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Manish Mahajan overall
Papers from Manish Mahajan's perspective
Ordered by how strongly the researchers Manish Mahajan trusts endorse each paper. Same corpus, a different order for every researcher.
- An indexed model of recursive types for foundational proof-carrying code (TOPL)
- Foundational proof-carrying code (Proceedings 16th Annual IEEE Symposium on Logic in Computer Science)
- 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
- Efficient minimum-cost network hardening via exploit dependency graphs (19th Annual Computer Security Applications Conference, 2003. Proceedings.)
- Constructing attack scenarios through correlation of intrusion alerts (Conference on Computer and Communications Security)
- Complexity and expressive power of logic programming
- Scalable, graph-based network vulnerability analysis (Conference on Computer and Communications Security)
- Topological analysis of network attack vulnerability (Conference on Privacy, Security and Trust)
- PlanetLab: A Blueprint for Introducing Disruptive Technology into the Internet
Their papers
- Proof carrying code (2015) — 351 citations