Anonymous and Secure Electronic Transaction protocol. - Srecko Brlek; Sardaouna Hamadou; John Mullins (Ann. des Télécommunications, 2005)

Some Remarks on the Certificates Registration of the Electronic Commerce Protocol SET. - Srecko Brlek; Sardaouna Hamadou; John Mullins (AICT/ICIW, 2006)

A flaw in the electronic commerce protocol SET. - Srecko Brlek; Sardaouna Hamadou; John Mullins (Inf. Process. Lett., 2006)

A Probabilistic Scheduler for the Analysis of Cryptographic Protocols. - Srecko Brlek; Sardaouna Hamadou; John Mullins (SecCO@CONCUR, 2007)

Probable Innocence in the Presence of Independent Knowledge. - Sardaouna Hamadou; Catuscia Palamidessi; Vladimiro Sassone; Ehab ElSalamouny (Formal Aspects in Security and Trust, 2009)

Trust in Anonymity Networks. - Vladimiro Sassone; Sardaouna Hamadou; Mu Yang (CONCUR, 2010)

Reconciling Belief and Vulnerability in Information Flow. - Sardaouna Hamadou; Vladimiro Sassone; Catuscia Palamidessi (IEEE Symposium on Security and Privacy, 2010)

Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols. - Vladimiro Sassone; Ehab ElSalamouny; Sardaouna Hamadou (TGC, 2010)

Calibrating the power of schedulers for probabilistic polynomial-time calculus. - Sardaouna Hamadou; John Mullins (J. Comput. Secur., 2010)

A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks. - Lucia Gallina; Sardaouna Hamadou; Andrea Marin; Sabina Rossi (ASMTA, 2011)

A framework for throughput and energy efficiency in mobile ad hoc networks. - Lucia Gallina; Sardaouna Hamadou; Andrea Marin; Sabina Rossi (Wireless Days, 2011)

A Game-Theoretic Analysis of Cooperation in Anonymity Networks. - Mu Yang; Vladimiro Sassone; Sardaouna Hamadou (POST, 2012)

Interference-Sensitive Preorders for MANETs. - Michele Bugliesi; Lucia Gallina; Andrea Marin; Sabina Rossi; Sardaouna Hamadou (QEST, 2012)

SMT-Based Cost Optimization Approach for the Integration of Avionic Functions in IMA and TTEthernet Architectures. - Sofiene Beji; Sardaouna Hamadou; Abdelouahed Gherbi; John Mullins (DS-RT, 2014)

An Extension for AADL to Model Mixed-Criticality Avionic Systems Deployed on IMA architectures with TTEthernet. - Robati Tiyam; Amine El Kouhen; Abdelouahed Gherbi; Sardaouna Hamadou; John Mullins (ACVI@MoDELS, 2014)

Behavioural equivalences and interference metrics for mobile ad-hoc networks. - Michele Bugliesi; Lucia Gallina; Sardaouna Hamadou; Andrea Marin; Sabina Rossi (Perform. Evaluation, 2014)

Specifying Avionic Embedded Systems by Denotations of the Time-Triggered Constraint-Based Calculus. - Sardaouna Hamadou; John Mullins; Christophe Chareton; Abdelouahed Gherbi (IRI, 2015)

A Time-Triggered Constraint-Based Calculus for Avionic Systems. - Sardaouna Hamadou; John Mullins; Abdelouahed Gherbi; Sofiene Beji (ISORC Workshops, 2015)

An analysis of trust in anonymity networks in the presence of adaptive attackers. - Sardaouna Hamadou; Vladimiro Sassone; Mu Yang (Math. Struct. Comput. Sci., 2015)

A Real-Time Concurrent Constraint Calculus for Analyzing Avionic Systems Embedded in the IMA Connected Through TTEthernet. - Sardaouna Hamadou; John Mullins; Abdelouahed Gherbi (Theoretical Information Reuse and Integration, 2016)

Quantifying leakage in the presence of unreliable sources of information. - Sardaouna Hamadou; Catuscia Palamidessi; Vladimiro Sassone (J. Comput. Syst. Sci., 2017)

Iterative integration of TTEthernet network flows. - Sofiene Beji; Sardaouna Hamadou; John Mullins; Abdelouahed Gherbi (Int. J. Crit. Comput. Based Syst., 2019)