Search for persons
X
?
Proceedings of the 19th International Conference on Availability, Reliability and Security ,
2
Image-based detection and classification of Android malware..:
, In:
?
Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science ,
3
Noninterference Analysis ofReversible Probabilistic Systems:
, In:
?
4
Software Engineering and Formal Methods. SEFM 2023 Collocat..
Lecture Notes in Computer Science, 14568
?
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops; Lecture Notes in Computer Science ,
5
Knowledge-of-Own-Factivity, the Definition of Surprise, and..:
, In:
?
2023 20th Annual International Conference on Privacy, Security and Trust (PST) ,
6
A Rule-Language Tailored for Financial Inclusion and KYC/AM..:
, In:
?
Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science ,
7
Branching Bisimulation Semantics Enables Noninterference An..:
, In:
?
Lecture Notes in Computer Science; Symbolic and Quantitative Approaches to Reasoning with Uncertainty ,
12
Trust Evidence Logic:
, In:
?
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops; Lecture Notes in Computer Science ,
13
Reasoning About Ignorance and Beliefs:
, In:
?
Software Engineering and Formal Methods; Lecture Notes in Computer Science ,
15