Homepage of Matúš Harvan

Contact Information | Publications | Research | Teaching | Bike

Publications

Journal and Conference Papers

  1. D. Basin, G. Caronni, S. Ereth, M. Harvan, F. Klaedtke, H. Mantel: Scalable Offline Monitoring of Temporal Properties. Formal Methods in System Design, Volume 49, Issue 1-2, 2016.
  2. M. Harvan, T. Locher, A. C. Sima: Cyclone: Unified Stream and Batch Processing. ICPP Workshops 2016: 220-229
  3. J. Schneider, B. Lu, T. Locher, Y. Pignolet, M. Harvan, S. Obermeier: Subdomain and Access Pattern Privacy - Trading off Confidentiality and Performance. SECRYPT 2016: 49-60
  4. D. Basin, G. Caronni, S. Ereth, M. Harvan, F. Klaedtke, H. Mantel: Scalable Offline Monitoring. In the Proceedings of the 5th International Conference on Runtime Verification (RV 2014). Volume 8734 of Lecture Notes in Computer Science, pages 31--47, Springer-Verlag, 2014.
  5. D. Basin, M. Harvan, F. Klaedtke, E. Zălinescu: Monitoring Data Usage in Distributed Systems. IEEE Transactions on Software Engineering, Volume 39, Issue 10, 2013.
  6. 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.
  7. 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)
  8. 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
  9. 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
  10. 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.
  11. M. Harvan, J. Schönwälder: TinyOS Motes on the Internet: IPv6 over 802.15.4 (6lowpan). Praxis der Informationstechnik und Kommunikation 31(4), October 2008.
  12. 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.
  13. 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.
  14. 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.
  15. 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.

Technical Reports

  1. M. Harvan, D. Basin, G. Caronni, S. Ereth, F. Klaedtke, H. Mantel: Checking System Compliance by Slicing and Monitoring Logs. Technical Report 791, ETH Zurich, Department of Computer Science.

Thesis

  1. PhD Thesis
  2. MSc Thesis
  3. BSc Thesis (Guided Research final report)

Unpublished work

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