Mirko Montanari

20 papers A* 3A 3B 1C 1Misc 1Journal 4Unranked 6

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	VeriGuard: Enhancing LLM Agent Safety via Verified Code Generation. CoRR Lesly Miculicich, Mihir Parmar, Hamid Palangi, Krishnamurthy Dj Dvijotham, Mirko Montanari, Tomas Pfister, Long T. Le
2013	A	`conf`	An empirical study on the software integrity of virtual appliances: are you really getting what you paid for? AsiaCCS Jun Ho Huh, Mirko Montanari, Derek Dagit, Rakesh Bobba, Dongwook Kim, Yoonjoo Choi, Roy H. Campbell
2013	A*	`conf`	Assessing software integrity of virtual appliances through software whitelists. NDSS Jun Ho Huh, Mirko Montanari, Derek Dagit, Rakesh Bobba, Dongwook Kim, Yoonjoo Choi, Roy H. Campbell
2013	J	`jnl`	Distributed security policy conformance. Comput. Secur. Mirko Montanari, Ellick Chan, Kevin Larson, Wucherl Yoo, Roy H. Campbell
2013	—	`conf`	Limiting Data Exposure in Monitoring Multi-domain Policy Conformance. TRUST Mirko Montanari, Jun Ho Huh, Rakesh Bobba, Roy H. Campbell
2013	—	`—`	Limiting information exposure in multi-domain monitoring systems Mirko Montanari
2013	A	`conf`	Towards SDN enabled network control delegation in clouds. DSN Muhammad Salman Malik, Mirko Montanari, Jun Ho Huh, Rakesh B. Bobba, Roy H. Campbell
2012	J	`jnl`	A middleware for assured clouds. J. Internet Serv. Appl. Roy H. Campbell, Mirko Montanari, Reza Farivar
2012	A	`conf`	Confidentiality of event data in policy-based monitoring. DSN Mirko Montanari, Roy H. Campbell
2012	—	`conf`	Evidence of log integrity in policy-based security monitoring. DSN Workshops Mirko Montanari, Jun Ho Huh, Derek Dagit, Rakesh Bobba, Roy H. Campbell
2012	—	`conf`	Multi-organization Policy-Based Monitoring. POLICY Mirko Montanari, Lucas T. Cook, Roy H. Campbell
2011	B	`conf`	Attack-resilient compliance monitoring for large distributed infrastructure systems. NSS Mirko Montanari, Roy H. Campbell
2011	Misc	`conf`	Distributed Security Policy Conformance. SEC Mirko Montanari, Ellick Chan, Kevin Larson, Wucherl Yoo, Roy H. Campbell
2011	—	`conf`	NetODESSA: Dynamic Policy Enforcement in Cloud Networks. SRDS Workshops John Bellessa, Evan Kroske, Reza Farivar, Mirko Montanari, Kevin Larson, Roy H. Campbell
2009	A*	`conf`	An Automatic User Study Demo in Indoor Environments and Its Privacy Implications. PerCom Reza Farivar, Mirko Montanari, Ellick Chan, Roy H. Campbell
2009	J	`jnl`	Budget constrained optimal security hardening of control networks for critical cyber-infrastructures. Int. J. Crit. Infrastructure Prot. Zahid Anwar, Mirko Montanari, Alejandro Gutierrez, Roy H. Campbell
2009	—	`conf`	MICS: an efficient content space representation model for publish/subscribe systems. DEBS Hojjat Jafarpour, Sharad Mehrotra, Nalini Venkatasubramanian, Mirko Montanari
2009	—	`conf`	Multi-aspect security configuration assessment. SafeConfig Mirko Montanari, Roy H. Campbell
2009	A*	`conf`	Using Failure Models for Controlling Data Availability in Wireless Sensor Networks. INFOCOM Riccardo Crepaldi, Mirko Montanari, Indranil Gupta, Robin Kravets
2007	C	`conf`	Architecture for an Automatic Customized Warning System. ISI Mirko Montanari, Sharad Mehrotra, Nalini Venkatasubramanian