Sardaouna Hamadou

According to our database, Sardaouna Hamadou authored at least 22 papers between 2005 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Iterative integration of TTEthernet network flows.

Sofiene Beji, Sardaouna Hamadou, John Mullins, Abdelouahed Gherbi

Int. J. Crit. Comput. Based Syst., 2019

2017

Quantifying leakage in the presence of unreliable sources of information.

Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone

J. Comput. Syst. Sci., 2017

2016

A Real-Time Concurrent Constraint Calculus for Analyzing Avionic Systems Embedded in the IMA Connected Through TTEthernet.

Sardaouna Hamadou, John Mullins, Abdelouahed Gherbi

Proceedings of the Theoretical Information Reuse and Integration, 2016

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 Time-Triggered Constraint-Based Calculus for Avionic Systems.

Sardaouna Hamadou, John Mullins, Abdelouahed Gherbi, Sofiene Beji

Proceedings of the 2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2015

Specifying Avionic Embedded Systems by Denotations of the Time-Triggered Constraint-Based Calculus.

Sardaouna Hamadou, John Mullins, Christophe Chareton, Abdelouahed Gherbi

Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 2015

2014

Behavioural equivalences and interference metrics for mobile ad-hoc networks.

Michele Bugliesi, Lucia Gallina, Sardaouna Hamadou, Andrea Marin, Sabina Rossi

Perform. Evaluation, 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

Proceedings of the First International Workshop on Architecture Centric Virtual Integration co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

SMT-Based Cost Optimization Approach for the Integration of Avionic Functions in IMA and TTEthernet Architectures.

Sofiene Beji, Sardaouna Hamadou, Abdelouahed Gherbi, John Mullins

Proceedings of the 18th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2014

2012

Interference-Sensitive Preorders for MANETs.

Michele Bugliesi, Lucia Gallina, Andrea Marin, Sabina Rossi, Sardaouna Hamadou

Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

A Game-Theoretic Analysis of Cooperation in Anonymity Networks.

Mu Yang, Vladimiro Sassone, Sardaouna Hamadou

Proceedings of the Principles of Security and Trust - First International Conference, 2012

2011

A framework for throughput and energy efficiency in mobile ad hoc networks.

Lucia Gallina, Sardaouna Hamadou, Andrea Marin, Sabina Rossi

Proceedings of the IFIP Wireless Days Conference 2011, 2011

A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks.

Lucia Gallina, Sardaouna Hamadou, Andrea Marin, Sabina Rossi

Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2011

2010

Calibrating the power of schedulers for probabilistic polynomial-time calculus.

Sardaouna Hamadou, John Mullins

J. Comput. Secur., 2010

Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols.

Vladimiro Sassone, Ehab ElSalamouny, Sardaouna Hamadou

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

Reconciling Belief and Vulnerability in Information Flow.

Sardaouna Hamadou, Vladimiro Sassone, Catuscia Palamidessi

Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

Trust in Anonymity Networks.

Vladimiro Sassone, Sardaouna Hamadou, Mu Yang

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009

Probable Innocence in the Presence of Independent Knowledge.

Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone, Ehab ElSalamouny

Proceedings of the Formal Aspects in Security and Trust, 6th International Workshop, 2009

2007

A Probabilistic Scheduler for the Analysis of Cryptographic Protocols.

Srecko Brlek, Sardaouna Hamadou, John Mullins

Proceedings of the Fifth Workshop on Security Issues in Concurrency, 2007

2006

A flaw in the electronic commerce protocol SET.

Srecko Brlek, Sardaouna Hamadou, John Mullins

Inf. Process. Lett., 2006

Some Remarks on the Certificates Registration of the Electronic Commerce Protocol SET.

Srecko Brlek, Sardaouna Hamadou, John Mullins

Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 2006

2005

Anonymous and Secure Electronic Transaction protocol.

Srecko Brlek, Sardaouna Hamadou, John Mullins

Ann. des Télécommunications, 2005