Damas P. Gruska

Publication Activity (10 Years)

Years Active: 1990-2022
Publications (10 Years): 23

Top Topics

Intrusion Detection

Process Algebra

Security Policies

Top Venues

Fundam. Informaticae

Ershov Memorial Conference

Publications

Aliyu Tanko Ali, Damas P. Gruska
States of Attack Under Incomplete Information. CCWC (2022)
Roberto Barbuti, Pasquale Bove, Roberta Gori, Damas P. Gruska, Francesca Levi, Paolo Milazzo
Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks. Fundam. Informaticae 179 (2) (2021)
Damas P. Gruska, M. Carmen Ruiz
Process Opacity and Insertion Functions. CS&P (2021)
Aliyu Tanko Ali, Damas P. Gruska
Reversible Attack Trees. UEMCON (2021)
Damas P. Gruska
Time Insertion Functions. MEDI Workshops (2021)
Aliyu Tanko Ali, Damas P. Gruska
Attack Trees with Time Constraints. CS&P (2021)
Damas P. Gruska
Security Enforcing. CS&P (Revised Selected Papers) (2021)
Aliyu Tanko Ali, Damas P. Gruska
Dynamic Attack Trees. OVERLAY@GandALF (2021)
Damas P. Gruska, M. Carmen Ruiz
Security of Low Level IoT Protocols. ICCS (3) (2019)
Aliyu Tanko Ali, Damas P. Gruska
Attack Protection Tree. CS&P (2019)
Damas P. Gruska, M. Carmen Ruiz
Security Testing for Multi-Agent Systems. IWANN (1) (2019)
Damas P. Gruska, M. Carmen Ruiz
Observations, Testing and Security. CS&P (2019)
M. Carmen Ruiz, Celia Garrido-Hidalgo, Damas P. Gruska, Teresa Olivares, Diego Hortelano, Luis Roda-Sanchez
Modeling and Evaluation of a Power-Aware Algorithm for IoT Bluetooth Low Energy Devices. SmartIoT (2019)
Damas P. Gruska
Security and time insertion. PCI (2019)
Roberta Gori, Damas P. Gruska, Paolo Milazzo
Studying Opacity of Reaction Systems through Formula Based Predictors. Fundam. Informaticae 165 (3-4) (2019)
Roberta Gori, Damas P. Gruska, Paolo Milazzo
Hidden States in Reaction Systems. CS&P (2018)
Damas P. Gruska, M. Carmen Ruiz
Opacity-enforcing for Process Algebras. CS&P (2018)
Damas P. Gruska
Process Environment Opacity. CS&P (2016)
Damas P. Gruska
Differential Privacy and Security. Fundam. Informaticae 143 (1-2) (2016)
Mikulás Pataky, Damas P. Gruska
Analysing of M-AHIDS with Future States on DARPA and KDD99 Benchmarks. CS&P (2016)
Damas P. Gruska
Gained and Excluded Classified Actions by Dynamic Security Policies. CS&P (2015)
Michal Kovác, Damas P. Gruska
Sequential P Systems with Active Membranes Working on Sets. CS&P (2015)
Damas P. Gruska
Dynamics Security Policies and Process Opacity for Timed Process Algebras. Ershov Memorial Conference (2015)
Damas P. Gruska
Simulation Opacity. Fundam. Informaticae 133 (2-3) (2014)
Damas P. Gruska
Process Opacity for Timed Process Algebra. Ershov Memorial Conference (2014)
Mikulás Pataky, Damas P. Gruska
Multi-Agent Heterogeneous Intrusion Detection System. CS&P (2014)
Damas P. Gruska
Differential Privacy and Security. CS&P (2014)
Damas P. Gruska
Information Flow Testing. Fundam. Informaticae 128 (1-2) (2013)
Damas P. Gruska
Opacity Testing. CS&P (2013)
Damas P. Gruska
Information Flow and Concurrent Imperative Languages. CS&P (2012)
Damas P. Gruska
Test Based Security. CS&P (2012)
Damas P. Gruska
Quantification of Positive and Negative Attacker's Information. Fundam. Informaticae 120 (3-4) (2012)
Damas P. Gruska
Informational Analysis of Security and Integrity. Fundam. Informaticae 120 (3-4) (2012)
Damas P. Gruska
Gained and Excluded Private Actions by Process Observations. Fundam. Informaticae 109 (3) (2011)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Damas P. Gruska
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security. Fundam. Informaticae 102 (1) (2010)
Damas P. Gruska
Diagnosability of Nested Intruders. BIONETICS (2010)
Damas P. Gruska
Process Algebra Contexts and Security Properties. Fundam. Informaticae 102 (1) (2010)
Damas P. Gruska
Quantifying Security for Timed Process Algebras. Fundam. Informaticae 93 (1-3) (2009)
Damas P. Gruska, Andrea Maggiolo-Schettini, Paolo Milazzo
Security in a Model for Long-running Transactions. Fundam. Informaticae 85 (1-4) (2008)
Damas P. Gruska
Probabilistic Information Flow Security. Fundam. Informaticae 85 (1-4) (2008)
Damas P. Gruska
Observation Based System Security. Fundam. Informaticae 79 (3-4) (2007)
Damas P. Gruska
Network Information Flow. Fundam. Informaticae 72 (1-3) (2006)
Damas P. Gruska
Information-Flow Attacks Based on Limited Observations. Ershov Memorial Conference (2006)
Damas P. Gruska, Andrea Maggiolo-Schettini
Process Algebras for Network Communication. Fundam. Informaticae 45 (4) (2001)
Damas P. Gruska
Bounded Concurrency. FCT (1997)
Damas P. Gruska
Process Algebra for Shared Ressources. Parcella (1996)
Damas P. Gruska, Andrea Maggiolo-Schettini
Process Communication Environment. NAPAW (1992)
Damas P. Gruska
Real-Time Communication Networks. NATO ASI RTC (1992)
Damas P. Gruska
Genomorphisms of Semi-Modular Lattices. J. Comput. Syst. Sci. 40 (2) (1990)