Author of the publication

SensorChecker: reachability verification in mission-oriented sensor networks.

, , , and . MiSeNet@MobiCom, page 51-56. ACM, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Synthetic security policy generation via network traffic clustering., and . AISec, page 45-53. ACM, (2010)Adaptive Information Coding for Secure and Reliable Wireless Telesurgery Communications, , , , , and . Mobile Networks and Applications, (Jul 13, 2011)A Dynamic Group Management Framework for Large-scale Distributed Event Monitoring.. Integrated Network Management, page 361-374. IEEE, (2001)Probabilistic model checking for AMI intrusion detection., and . SmartGridComm, page 468-473. IEEE, (2013)SCAP Based Configuration Analytics for Comprehensive Compliance Checking., and . SafeConfig, IEEE, (2011)Towards a Unified Modeling and Verification of Network and System Security Configurations., , and . SafeConfig, page 3-19. Springer, (2012)Toward Globally Optimal Event Monitoring & Aggregation For Large-scale Overlay Networks., , and . Integrated Network Management, page 236-245. IEEE, (2007)Automated Decision Making for Active Cyber Defense: Panel Discussion., , and . SafeConfig@CCS, page 59. ACM, (2015)Using Online Traffic Statistical Matching for Optimizing Packet Filtering Performance., , , and . INFOCOM, page 866-874. IEEE, (2007)ThreatZoom: neural network for automated vulnerability mitigation., and . HotSoS, page 24:1-24:3. ACM, (2019)