Login / Signup
Xavier Titi
Publication Activity (10 Years)
Years Active: 2010-2017
Publications (10 Years): 2
Top Topics
Decision Makers
Lead Time
Intrusion Detection
Formal Methods
Top Venues
TrustCom/BigDataSE/ISPA (1)
Inf. Comput. Secur.
</>
Publications
</>
Alessandro Aldini
,
Jean-Marc Seigneur
,
Carlos Ballester Lafuente
,
Xavier Titi
,
Jonathan Guislain
Design and validation of a trust-based opportunity-enabled risk management system.
Inf. Comput. Secur.
25 (1) (2017)
Alessandro Aldini
,
Jean-Marc Seigneur
,
Carlos Ballester Lafuente
,
Xavier Titi
,
Jonathan Guislain
Formal Modeling and Verification of Opportunity-enabled Risk Management.
TrustCom/BigDataSE/ISPA (1)
(2015)
Carlos Ballester Lafuente
,
Xavier Titi
,
Jean-Marc Seigneur
Flexible Communication: A Secure and Trust-Based Free Wi-Fi Password Sharing Service.
TrustCom
(2011)
Jean-Marc Seigneur
,
Xavier Titi
,
Tewfiq El Maliki
Towards mobile/wearable device electrosmog reduction through careful network selection.
AH
(2010)
Xavier Titi
,
Jean-Marc Seigneur
Verifying Hotspot Quality User Rating with Certified QoS Evidence.
SECURWARE
(2010)
Jean-Marc Seigneur
,
Xavier Titi
Reputation-based Telecommunication Network Selection
CoRR
(2010)