Sardaouna Hamadou

Publication Activity (10 Years)

Years Active: 2005-2019
Publications (10 Years): 2

Top Topics

Theoretic Analysis

Top Venues

ISORC Workshops

J. Comput. Syst. Sci.

Math. Struct. Comput. Sci.

Publications

Sofiene Beji, Sardaouna Hamadou, John Mullins, Abdelouahed Gherbi
Iterative integration of TTEthernet network flows. Int. J. Crit. Comput. Based Syst. 9 (3) (2019)
Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone
Quantifying leakage in the presence of unreliable sources of information. J. Comput. Syst. Sci. 88 (2017)
Sardaouna Hamadou, Vladimiro Sassone, Mu Yang
An analysis of trust in anonymity networks in the presence of adaptive attackers. Math. Struct. Comput. Sci. 25 (2) (2015)
Sardaouna Hamadou, John Mullins, Abdelouahed Gherbi, Sofiene Beji
A Time-Triggered Constraint-Based Calculus for Avionic Systems. ISORC Workshops (2015)
Sardaouna Hamadou, John Mullins, Christophe Chareton, Abdelouahed Gherbi
Specifying Avionic Embedded Systems by Denotations of the Time-Triggered Constraint-Based Calculus. IRI (2015)
Michele Bugliesi, Lucia Gallina, Sardaouna Hamadou, Andrea Marin, Sabina Rossi
Behavioural equivalences and interference metrics for mobile ad-hoc networks. Perform. Evaluation 73 (2014)
Sardaouna Hamadou, Abdelouahed Gherbi, John Mullins, Sofiene Beji
A Time-Triggered Constraint-Based Calculus for Avionic Systems. CoRR (2014)
Robati Tiyam, Amine El Kouhen, Abdelouahed Gherbi, Sardaouna Hamadou, John Mullins
An Extension for AADL to Model Mixed-Criticality Avionic Systems Deployed on IMA architectures with TTEthernet. ACVI@MoDELS (2014)
Sofiene Beji, Sardaouna Hamadou, Abdelouahed Gherbi, John Mullins
SMT-Based Cost Optimization Approach for the Integration of Avionic Functions in IMA and TTEthernet Architectures. DS-RT (2014)
Michele Bugliesi, Lucia Gallina, Andrea Marin, Sabina Rossi, Sardaouna Hamadou
Interference-Sensitive Preorders for MANETs. QEST (2012)
Mu Yang, Vladimiro Sassone, Sardaouna Hamadou
A Game-Theoretic Analysis of Cooperation in Anonymity Networks. POST (2012)
Lucia Gallina, Sardaouna Hamadou, Andrea Marin, Sabina Rossi
A framework for throughput and energy efficiency in mobile ad hoc networks. Wireless Days (2011)
Lucia Gallina, Sardaouna Hamadou, Andrea Marin, Sabina Rossi
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks. ASMTA (2011)
Sardaouna Hamadou, Vladimiro Sassone, Catuscia Palamidessi
Reconciling Belief and Vulnerability in Information Flow. IEEE Symposium on Security and Privacy (2010)
Sardaouna Hamadou, John Mullins
Calibrating the power of schedulers for probabilistic polynomial-time calculus. J. Comput. Secur. 18 (2) (2010)
Vladimiro Sassone, Ehab ElSalamouny, Sardaouna Hamadou
Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols. TGC (2010)
Vladimiro Sassone, Sardaouna Hamadou, Mu Yang
Trust in Anonymity Networks. CONCUR (2010)
Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone, Ehab ElSalamouny
Probable Innocence in the Presence of Independent Knowledge. Formal Aspects in Security and Trust (2009)
Srecko Brlek, Sardaouna Hamadou, John Mullins
A Probabilistic Scheduler for the Analysis of Cryptographic Protocols. Electron. Notes Theor. Comput. Sci. 194 (1) (2007)
Srecko Brlek, Sardaouna Hamadou, John Mullins
Some Remarks on the Certificates Registration of the Electronic Commerce Protocol SET. AICT/ICIW (2006)
Srecko Brlek, Sardaouna Hamadou, John Mullins
A flaw in the electronic commerce protocol SET. Inf. Process. Lett. 97 (3) (2006)
Srecko Brlek, Sardaouna Hamadou, John Mullins
Anonymous and Secure Electronic Transaction protocol. Ann. des Télécommunications 60 (5-6) (2005)