Homepage of Matúš Harvan

Intro | Publications | Research | Teaching | Misc | Contact Information

Publications

  1. D. Basin, M. Harvan, F. Klaedtke, E. Zălinescu: MONPOLY: Monitoring Usage-control Policies. In the Proceedings of the 2nd International Conference on Runtime Verification (RV 2011) Volume 7186 of Lecture Notes in Computer Science, pages 360--364, Springer-Verlag, 2012.
  2. D. Basin, M. Harvan, F. Klaedtke, E. Zălinescu: Monitoring Usage-control Policies in Distributed Systems. In the Proceedings of the 18th International Symposium on Temporal Representation and Reasoning (TIME 2011). Pages 88--95, IEEE Computer Society, 2011. (full version)
  3. Harvan, M., Pretschner, A.: State-based Usage Control Enforcement with Data Flow Tracking using System Call Interposition.Proc. 3rd Intl. Conf. on Network and System Security (NSS), pp. 373-380, October 2009
  4. Pretschner, A., Büchler, M., Harvan, M., Schaefer, C., Walter, T.: Usage Control Enforcement with Data Flow Tracking for X11. Proc. 5th Intl. Workshop on Security and Trust Management (STM), pp. 124-137, September 2009
  5. G. van den Broek, J. Schönwälder, A. Pras, M. Harvan: SNMP Trace Analysis Definitions. 2nd Conference on Autonomous Infrastructure, Management and Security (AIMS 2008), Bremen, July 2008. Springer LNCS.
  6. M. Harvan, J. Schönwälder: A 6lowpan Implementation for TinyOS 2.0.6th GI/ITG KuVS Fachgespräch "Wireless Sensor Networks", Aachen, July 2007.
  7. J. Schönwälder, A. Pras, M. Harvan, J. Schippers, R. van de Meent: SNMP Traffic Analysis: Approaches, Tools, and First Results. 10th IFIP/IEEE International Symposium on Integrated Network Management, Munich, May 2007.
  8. M. Harvan, J. Schönwälder: Prefix- and Lexicographical-order-preserving IP Address Anonymization. 10th IEEE/IFIP Network Operations and Management Symposium, pages 519-526, Vancouver, April 2006.
  9. S. Schütz, M. Harvan, L. Eggert, S. Schmid and M. Brunner: Protocol Enhancements for Disruption Tolerant Mobile Networking.IEEE Infocom Poster and Demonstration Session, Barcelona, April 23-29, 2006.

Talks

  1. Connecting Wireless Sensor Networks to the Internet - a 6lowpan Implementation for TinyOS 2.0 - Uni Bremen, May 2007
  2. Wireless Sensor Networks: Motes, NesC, and TinyOS - EECS Seminar 2007
  3. Prefix- and Lexicographical-order-preserving IP address anonymization - NOMS 2006
  4. cfengine - Networks and Distributed Systems seminar 2006
  5. Xen - EECS Seminar 2005
  6. Xen live migration - Networks and Distributed Systems seminar 2006

Coursework, which could be useful

  1. Policy Conflict Detection for Cfengine - Computational Semantics for Natural Languages project report, implementation
  2. SNMP traces analysis - Networks and Distributed Systems report
  3. Job Shop Scheduling - Topics in Algorithms Seminar report
  4. Cognitive Robotics Seminar report (occupancy grid, using gyro for odometry, largest opening with a laser scanner)
  5. Guided Research final report (BSc Thesis)
  6. Guided Research proposal
  7. German one Euro coin (non-)biasedness - Engineering and Science Mathematics IV project