Personal information

Websites & social links

Publications

Activities

Collapse all

Employment (1)

Comenius University Bratislava: Bratislava, Slovakia (SVK), SK

1987-05-01 to present | associated professor (Departement of Applied Informatics)
Employment
Source: Self-asserted source
Damas Gruska

Works (49)

States of Attack Under Incomplete Information

12th IEEE Annual Computing and Communication Workshop and Conference, CCWC 2022, Las Vegas, NV, USA, January 26-29, 2022
2022 | Conference paper
DOI: 10.1109/CCWC54503.2022.9720758
Contributors: Aliyu Tanko Ali and Damas P. Gruska
Source: Self-asserted source
Damas Gruska

Attack Trees with Time Constraints

Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS&P 2021), Berlin, Germany, September 27-28, 2021
2021 | Conference paper
URI:

https://ceur-ws.org/Vol-2951/paper5.pdf
Contributors: Aliyu Tanko Ali and Damas P. Gruska; Holger Schlingloff and Thomas Vogel
Source: Self-asserted source
Damas Gruska

Dynamic Attack Trees

Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021
2021 | Conference paper
URI:

https://ceur-ws.org/Vol-2987/paper5.pdf
Contributors: Aliyu Tanko Ali and Damas P. Gruska; Dario Della Monica and Gian Luca Pozzato and Enrico Scala
Source: Self-asserted source
Damas Gruska

Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks

Fundam. Informaticae
2021 | Journal article
DOI: 10.3233/FI-2021-2021
Contributors: Roberto Barbuti and Pasquale Bove and Roberta Gori and Damas P. Gruska and Francesca Levi and Paolo Milazzo
Source: Self-asserted source
Damas Gruska

Process Opacity and Insertion Functions

Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS&P 2021), Berlin, Germany, September 27-28, 2021
2021 | Conference paper
URI:

https://ceur-ws.org/Vol-2951/paper7.pdf
Contributors: Damas P. Gruska and M. Carmen Ruiz; Holger Schlingloff and Thomas Vogel
Source: Self-asserted source
Damas Gruska

Reversible Attack Trees

12th IEEE Annual Ubiquitous Computing, Electronics & Mobile Communication Conference, UEMCON 2021, New York, NY, USA, December 1-4, 2021
2021 | Conference paper
DOI: 10.1109/UEMCON53757.2021.9666564
Contributors: Aliyu Tanko Ali and Damas P. Gruska
Source: Self-asserted source
Damas Gruska

Security Enforcing

Concurrency, Specification and Programming - Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
2021 | Conference paper
DOI: 10.1007/978-3-031-26651-5\_6
Contributors: Damas P. Gruska; Bernd-Holger Schlingloff and Thomas Vogel and Andrzej Skowron
Source: Self-asserted source
Damas Gruska

Time Insertion Functions

Advances in Model and Data Engineering in the Digitalization Era - MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21-23, 2021, Proceedings
2021 | Conference paper
DOI: 10.1007/978-3-030-87657-9\_14
Contributors: Damas P. Gruska; Ladjel Bellatreche and George A. Chernishev and Antonio Corral and Samir Ouchani and Jüri Vain
Source: Self-asserted source
Damas Gruska

Attack Protection Tree

Proceedings of the 28th International Workshop on Concurrency, Specification and Programming, Olsztyn, Poland, September 24-26th, 2019
2019 | Conference paper
URI:

https://ceur-ws.org/Vol-2571/CSP2019\_paper\_7.pdf
Contributors: Aliyu Tanko Ali and Damas P. Gruska; Krzysztof Ropiak and Lech Polkowski and Piotr Artiemjew
Source: Self-asserted source
Damas Gruska

Modeling and Evaluation of a Power-Aware Algorithm for IoT Bluetooth Low Energy Devices

2019 IEEE International Conference on Smart Internet of Things (SmartIoT), Tianjin, China, August 9-11, 2019
2019 | Conference paper
DOI: 10.1109/SMARTIOT.2019.00014
Contributors: M. Carmen Ruiz and Celia Garrido-Hidalgo and Damas P. Gruska and Teresa Olivares and Diego Hortelano and Luis Roda-Sanchez
Source: Self-asserted source
Damas Gruska

Observations, Testing and Security

Proceedings of the 28th International Workshop on Concurrency, Specification and Programming, Olsztyn, Poland, September 24-26th, 2019
2019 | Conference paper
URI:

https://ceur-ws.org/Vol-2571/CSP2019\_paper\_6.pdf
Contributors: Damas P. Gruska and M. Carmen Ruiz; Krzysztof Ropiak and Lech Polkowski and Piotr Artiemjew
Source: Self-asserted source
Damas Gruska

Security and time insertion

Proceedings of the 23rd Pan-Hellenic Conference on Informatics, PCI 2019, Nicosia, Cyprus, November 28-30, 2019
2019 | Conference paper
DOI: 10.1145/3368640.3368668
Contributors: Damas P. Gruska; Yannis Manolopoulos and George Angelos Papadopoulos and Athena Stassopoulou and Ioanna Dionysiou and Ioannis Kyriakides and Nicolas Tsapatsoulis
Source: Self-asserted source
Damas Gruska

Security of Low Level IoT Protocols

Computational Science - ICCS 2019 - 19th International Conference, Faro, Portugal, June 12-14, 2019, Proceedings, Part III
2019 | Conference paper
DOI: 10.1007/978-3-030-22744-9\_48
Contributors: Damas P. Gruska and M. Carmen Ruiz; João M. F. Rodrigues and Pedro J. S. Cardoso and Jânio M. Monteiro and Roberto Lam and Valeria V. Krzhizhanovskaya and Michael Harold Lees and Jack J. Dongarra and Peter M. A. Sloot
Source: Self-asserted source
Damas Gruska

Security Testing for Multi-Agent Systems

Advances in Computational Intelligence - 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, 2019, Proceedings, Part I
2019 | Conference paper
DOI: 10.1007/978-3-030-20521-8\_58
Contributors: Damas P. Gruska and M. Carmen Ruiz; Ignacio Rojas and Gonzalo Joya and Andreu Català
Source: Self-asserted source
Damas Gruska

Studying Opacity of Reaction Systems through Formula Based Predictors

Fundam. Informaticae
2019 | Journal article
DOI: 10.3233/FI-2019-1787
Contributors: Roberta Gori and Damas P. Gruska and Paolo Milazzo
Source: Self-asserted source
Damas Gruska

Hidden States in Reaction Systems

Proceedings of the 27th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 24-26, 2018
2018 | Conference paper
URI:

https://ceur-ws.org/Vol-2240/paper12.pdf
Contributors: Roberta Gori and Damas P. Gruska and Paolo Milazzo; Bernd-Holger Schlingloff and Samira Akili
Source: Self-asserted source
Damas Gruska

Opacity-enforcing for Process Algebras

Proceedings of the 27th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 24-26, 2018
2018 | Conference paper
URI:

https://ceur-ws.org/Vol-2240/paper1.pdf
Contributors: Damas P. Gruska and M. Carmen Ruiz; Bernd-Holger Schlingloff and Samira Akili
Source: Self-asserted source
Damas Gruska

Analysing of M-AHIDS with Future States on DARPA and KDD99 Benchmarks

Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016
2016 | Conference paper
URI:

https://ceur-ws.org/Vol-1698/CS\&\#38;P2016\_14\_Pataky\&\#38;Gruska\_Analysing-of-M-AHIDS-with-future-states-on-DARPA-and-KDD99-benchmarks.pdf
Contributors: Mikulás Pataky and Damas P. Gruska; Bernd-Holger Schlingloff
Source: Self-asserted source
Damas Gruska

Differential Privacy and Security

Fundam. Informaticae
2016 | Journal article
DOI: 10.3233/FI-2016-1304
Contributors: Damas P. Gruska
Source: Self-asserted source
Damas Gruska

Process Environment Opacity

Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016
2016 | Conference paper
URI:

https://ceur-ws.org/Vol-1698/CS\&\#38;P2016\_20\_Gruska\_Process-Environment-Opacity.pdf
Contributors: Damas P. Gruska; Bernd-Holger Schlingloff
Source: Self-asserted source
Damas Gruska

Dynamics Security Policies and Process Opacity for Timed Process Algebras

Perspectives of System Informatics - 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
2015 | Conference paper
DOI: 10.1007/978-3-319-41579-6\_12
Contributors: Damas P. Gruska; Manuel Mazzara and Andrei Voronkov
Source: Self-asserted source
Damas Gruska

Gained and Excluded Classified Actions by Dynamic Security Policies

Proceedings of the 24th International Workshop on Concurrency, Specification and Programming, Rzeszow, Poland, September 28-30, 2015
2015 | Conference paper
URI:

https://ceur-ws.org/Vol-1492/Paper\_16.pdf
Contributors: Damas P. Gruska; Zbigniew Suraj and Ludwik Czaja
Source: Self-asserted source
Damas Gruska

Sequential P Systems with Active Membranes Working on Sets

Proceedings of the 24th International Workshop on Concurrency, Specification and Programming, Rzeszow, Poland, September 28-30, 2015
2015 | Conference paper
URI:

https://ceur-ws.org/Vol-1492/Paper\_24.pdf
Contributors: Michal Kovác and Damas P. Gruska; Zbigniew Suraj and Ludwik Czaja
Source: Self-asserted source
Damas Gruska

Differential Privacy and Security

Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29 - October 1, 2014
2014 | Conference paper
URI:

https://ceur-ws.org/Vol-1269/paper80.pdf
Contributors: Damas P. Gruska; Louchka Popova-Zeugmann
Source: Self-asserted source
Damas Gruska

Multi-Agent Heterogeneous Intrusion Detection System

Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29 - October 1, 2014
2014 | Conference paper
URI:

https://ceur-ws.org/Vol-1269/paper184.pdf
Contributors: Mikulás Pataky and Damas P. Gruska; Louchka Popova-Zeugmann
Source: Self-asserted source
Damas Gruska

Process Opacity for Timed Process Algebra

Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers
2014 | Conference paper
DOI: 10.1007/978-3-662-46823-4\_13
Contributors: Damas P. Gruska; Andrei Voronkov and Irina B. Virbitskaite
Source: Self-asserted source
Damas Gruska

Simulation Opacity

Fundam. Informaticae
2014 | Journal article
DOI: 10.3233/FI-2014-1069
Contributors: Damas P. Gruska
Source: Self-asserted source
Damas Gruska

Information Flow Testing

Fundam. Informaticae
2013 | Journal article
DOI: 10.3233/FI-2013-934
Contributors: Damas P. Gruska
Source: Self-asserted source
Damas Gruska

Opacity Testing

Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland
2013 | Conference paper
URI:

https://ceur-ws.org/Vol-1032/paper-15.pdf
Contributors: Damas P. Gruska; Marcin S. Szczuka and Ludwik Czaja and Magdalena Kacprzak
Source: Self-asserted source
Damas Gruska

Information Flow and Concurrent Imperative Languages

Proceedings of the 21th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 26-28, 2012
2012 | Conference paper
URI:

https://ceur-ws.org/Vol-928/0123.pdf
Contributors: Damas P. Gruska; Louchka Popova-Zeugmann
Source: Self-asserted source
Damas Gruska

Informational Analysis of Security and Integrity

Fundam. Informaticae
2012 | Journal article
DOI: 10.3233/FI-2012-763
Contributors: Damas P. Gruska
Source: Self-asserted source
Damas Gruska

Quantification of Positive and Negative Attacker's Information

Fundam. Informaticae
2012 | Journal article
DOI: 10.3233/FI-2012-764
Contributors: Damas P. Gruska
Source: Self-asserted source
Damas Gruska

Test Based Security

Proceedings of the 21th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 26-28, 2012
2012 | Conference paper
URI:

https://ceur-ws.org/Vol-928/0135.pdf
Contributors: Damas P. Gruska; Louchka Popova-Zeugmann
Source: Self-asserted source
Damas Gruska

Gained and Excluded Private Actions by Process Observations

Fundam. Informaticae
2011 | Journal article
DOI: 10.3233/FI-2011-511
Contributors: Damas P. Gruska
Source: Self-asserted source
Damas Gruska

A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security

Fundam. Informaticae
2010 | Journal article
DOI: 10.3233/FI-2010-294
Contributors: Roberto Barbuti and Andrea Maggiolo-Schettini and Paolo Milazzo and Damas P. Gruska
Source: Self-asserted source
Damas Gruska

Diagnosability of Nested Intruders

Bio-Inspired Models of Network, Information, and Computing Systems - 5th International ICST Conference, BIONETICS 2010, Boston, MA, USA, December 1-3, 2010, Revised Selected Papers
2010 | Conference paper
DOI: 10.1007/978-3-642-32615-8\_12
Contributors: Damas P. Gruska; Junichi Suzuki and Tadashi Nakano
Source: Self-asserted source
Damas Gruska

Process Algebra Contexts and Security Properties

Fundam. Informaticae
2010 | Journal article
DOI: 10.3233/FI-2010-297
Contributors: Damas P. Gruska
Source: Self-asserted source
Damas Gruska

Quantifying Security for Timed Process Algebras

Fundam. Informaticae
2009 | Journal article
DOI: 10.3233/FI-2009-0094
Contributors: Damas P. Gruska
Source: Self-asserted source
Damas Gruska

Probabilistic Information Flow Security

Fundam. Informaticae
2008 | Journal article
URI:

http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-13
Contributors: Damas P. Gruska
Source: Self-asserted source
Damas Gruska

Security in a Model for Long-running Transactions

Fundam. Informaticae
2008 | Journal article
URI:

http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-14
Contributors: Damas P. Gruska and Andrea Maggiolo-Schettini and Paolo Milazzo
Source: Self-asserted source
Damas Gruska

Observation Based System Security

Fundam. Informaticae
2007 | Journal article
URI:

http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-07
Contributors: Damas P. Gruska
Source: Self-asserted source
Damas Gruska

Information-Flow Attacks Based on Limited Observations

Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers
2006 | Conference paper
DOI: 10.1007/978-3-540-70881-0\_20
Contributors: Damas P. Gruska; Irina B. Virbitskaite and Andrei Voronkov
Source: Self-asserted source
Damas Gruska

Network Information Flow

Fundam. Informaticae
2006 | Journal article
URI:

http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-13
Contributors: Damas P. Gruska
Source: Self-asserted source
Damas Gruska

Process Algebras for Network Communication

Fundam. Informaticae
2001 | Journal article
URI:

http://content.iospress.com/articles/fundamenta-informaticae/fi45-4-04
Contributors: Damas P. Gruska and Andrea Maggiolo-Schettini
Source: Self-asserted source
Damas Gruska

Bounded Concurrency

Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings
1997 | Conference paper
DOI: 10.1007/BFB0036184
Contributors: Damas P. Gruska; Bogdan S. Chlebus and Ludwik Czaja
Source: Self-asserted source
Damas Gruska

Process Algebra for Shared Ressources

Parcella 1996, VII. International Workshop on Parallel Processing by Cellular Automata and Arrays, Berlin, Germany, September 16-20, 1996, Proceedings
1996 | Conference paper
Contributors: Damas P. Gruska; Roland Vollmar and Werner Erhard and Vesselin Iossifov
Source: Self-asserted source
Damas Gruska

Process Communication Environment

NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992
1992 | Conference paper
DOI: 10.1007/978-1-4471-3217-2\_3
Contributors: Damas P. Gruska and Andrea Maggiolo-Schettini; S. Purushothaman and Amy E. Zwarico
Source: Self-asserted source
Damas Gruska

Real-Time Communication Networks

Real Time Computing, Proceedings of the NATO Advanced Study Institute on Real Time Computing, held in Sint Maarten, Dutch Antilles, October 5-17, 1992
1992 | Conference paper
DOI: 10.1007/978-3-642-88049-0\_109
Contributors: Damas P. Gruska; Wolfgang A. Halang and Alexander D. Stoyenko
Source: Self-asserted source
Damas Gruska

Genomorphisms of Semi-Modular Lattices

J. Comput. Syst. Sci.
1990 | Journal article
DOI: 10.1016/0022-0000(90)90011-9
Contributors: Damas P. Gruska
Source: Self-asserted source
Damas Gruska
How many people are using ORCID?