Follow
Gruska
Gruska
Verified email at fmph.uniba.sk
Title
Cited by
Cited by
Year
Observation based system security
DP Gruska
Fundamenta Informaticae 79 (3), 335-346, 2007
282007
Probabilistic information flow security
DP Gruska
Fundamenta Informaticae 85 (1-4), 173-187, 2008
202008
Quantifying security for timed process algebras
DP Gruska
Fundamenta Informaticae 93 (1-3), 155-169, 2009
142009
Process opacity for timed process algebra
DP Gruska
Perspectives of System Informatics: 9th International Ershov Informatics …, 2015
122015
Gained and excluded private actions by process observations
DP Gruska
Fundamenta Informaticae 109 (3), 281-295, 2011
112011
Network information flow
DP Gruska
Fundamenta Informaticae 72 (1-3), 167-180, 2006
112006
Process algebras for network communication
DP Gruska, A Maggiolo-Schettini
Fundamenta Informaticae 45 (4), 359-378, 2001
112001
Modeling and evaluation of a power-aware algorithm for IoT bluetooth low energy devices
MC Ruiz, C Garrido-Hidalgo, DP Gruska, T Olivares, D Hortelano, ...
2019 IEEE International Conference on Smart Internet of Things (SmartIoT), 28-35, 2019
102019
Process algebra contexts and security properties
DP Gruska
Fundamenta Informaticae 102 (1), 63-76, 2010
102010
Informational analysis of security and integrity
DP Gruska
Fundamenta Informaticae 120 (3-4), 295-309, 2012
92012
Information Flow in Timing Attacks
DP Gruska
Proceedings CS&P 4, 2004
92004
Attack Protection Tree.
AT Ali, DP Gruska
CS&P, 2019
82019
Differential privacy and security
DP Gruska
Fundamenta Informaticae 143 (1-2), 73-87, 2016
82016
Attack Trees with Time Constraints.
AT Ali, DP Gruska
CS&P, 93-105, 2021
72021
Studying opacity of reaction systems through formula based predictors
R Gori, D Gruska, P Milazzo
Fundamenta Informaticae 165 (3-4), 303-319, 2019
62019
Information flow testing
DP Gruska
Fundamenta Informaticae 128 (1-2), 81-95, 2013
62013
A timed process description language based on CCS
DP Gruska, A Maggiolo-Schettini
Università degli studi di Pisa, Dipartimento di informatica, 1991
61991
Opacity-enforcing for Process Algebras.
DP Gruska, MC Ruiz
CS&P, 2018
52018
A notion of biological diagnosability inspired by the notion of opacity in systems security
R Barbuti, A Maggiolo-Schettini, P Milazzo, DP Gruska
Fundamenta Informaticae 102 (1), 19-34, 2010
52010
Nested Timing Attacks
DP Gruska, A Maggiolo-Schettini
Proceedings of FAST, 147-161, 2003
52003
The system can't perform the operation now. Try again later.
Articles 1–20