🏷️ Security and Verification in Computing
Statistics
| Level | 3 |
| Department | - |
| IIT Delhi Publications | 0 |
| Global Publications | 0 |
Top Researchers
- Vireshwar Kumar (H: 12)
- Nivedita Shrivastava (H: 6)
- Sidharth Agarwal (H: 6)
Publications in this Topic
The SwitchWare active network architecture
1998 • 291 citations
Relaxed separation logic
2013 • 121 citations
Ripley
2009 • 77 citations