Sardaouna Hamadou

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