Matús Harvan

According to our database, Matús Harvan authored at least 16 papers between 2006 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Privacy-preserving Regression on Partially Encrypted Data.

Matús Harvan, Thomas Locher, Marta Mularczyk, Yvonne-Anne Pignolet

Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017), 2017

Processing Encrypted and Compressed Time Series Data.

Matús Harvan, Samuel Kimoto, Thomas Locher, Yvonne-Anne Pignolet, Johannes Schneider

Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

2016

Scalable offline monitoring of temporal specifications.

David A. Basin, Germano Caronni, Sarah Ereth, Matús Harvan, Felix Klaedtke, Heiko Mantel

Formal Methods Syst. Des., 2016

Subdomain and Access Pattern Privacy - Trading off Confidentiality and Performance.

Johannes Schneider, Bin Lu, Thomas Locher, Yvonne-Anne Pignolet, Matús Harvan, Sebastian Obermeier

Proceedings of the 13th International Joint Conference on e-Business and Telecommunications (ICETE 2016), 2016

Cyclone: Unified Stream and Batch Processing.

Matús Harvan, Thomas Locher, Ana Claudia Sima

Proceedings of the 45th International Conference on Parallel Processing Workshops, 2016

2014

Scalable Offline Monitoring.

David A. Basin, Germano Caronni, Sarah Ereth, Matús Harvan, Felix Klaedtke, Heiko Mantel

Proceedings of the Runtime Verification - 5th International Conference, 2014

2013

Scalable Monitoring of Concurrent Systems.

Matús Harvan

PhD thesis, 2013

Monitoring Data Usage in Distributed Systems.

David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu

IEEE Trans. Software Eng., 2013

2011

Monitoring Usage-Control Policies in Distributed Systems.

David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu

Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

MONPOLY: Monitoring Usage-Control Policies.

David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu

Proceedings of the Runtime Verification - Second International Conference, 2011

2009

State-Based Usage Control Enforcement with Data Flow Tracking using System Call Interposition.

Matús Harvan, Alexander Pretschner

Proceedings of the Third International Conference on Network and System Security, 2009

Usage Control Policy Enforcement in OpenOffice.org and Information Flow.

Christian Schaefer, Thomas Walter, Matús Harvan, Alexander Pretschner

Proceedings of the Information Security South Africa Conference 2009, 2009

2008

TinyOS Motes on the Internet: IPv6 over 802.15.4 (6lowpan).

Matús Harvan, Jürgen Schönwälder

Prax. Inf.verarb. Kommun., 2008

SNMP Trace Analysis Definitions.

Gijs van den Broek, Jürgen Schönwälder, Aiko Pras, Matús Harvan

Proceedings of the Resilient Networks and Services, 2008

2007

SNMP Traffic Analysis: Approaches, Tools, and First Results.

Jürgen Schönwälder, Aiko Pras, Matús Harvan, Jorrit Schippers, Remco van de Meent

Proceedings of the Integrated Network Management, 2007

2006

Prefix- and Lexicographical-order-preserving IP Address Anonymization.

Matús Harvan, Jürgen Schönwälder

Proceedings of the Management of Integrated End-to-End Communications and Services, 2006