Tigran Avanesov

17 papers A 1B 2C 3Misc 1Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2018 — conf
Distributed C++-Python embedding for fast predictions and fast prototyping.
DIDL@Middleware
Georgios Varisteas, Tigran Avanesov, Radu State
2017 J jnl
Intruder deducibility constraints with negation. Decidability and application to secured service compositions.
J. Symb. Comput.
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
2017 J jnl
Satisfiability of general intruder constraints with and without a set constructor.
J. Symb. Comput.
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
2016 C conf
Behavior profiling for mobile advertising.
BDCAT
Manxing Du, Radu State, Mats Brorsson, Tigran Avanesov
2015 B conf
Network troubleshooting with SDN-RADAR.
IM
Tigran Avanesov, Gabriela Gheorghe, Maria Rita Palattella, Miroslaw Kantor, Ciprian P. Popoviciu, Thomas Engel
2015 B conf
SDN-RADAR: Network troubleshooting combining user experience and SDN capabilities.
NetSoft
Gabriela Gheorghe, Tigran Avanesov, Maria Rita Palattella, Thomas Engel, Ciprian P. Popoviciu
2013 Misc conf
(Semi-) Pervasive Gaming Educational and Entertainment Facilities via Interactive Video-to-Video Communication over the Internet, for Museum Exhibits.
AIAI
Ioannis P. Chochliouros, Rod McCall, Andrei Popleteev, Tigran Avanesov, Tomas Kamarauskas, Anastasia S. Spiliopoulou, Evangelos Sfakianakis, Evangelia Georgiadou, Nikoletta Liakostavrou, Ioannis Kampourakis, Ioannis M. Stephanakis
2013 — conf
Assessing in-vehicle information systems application in the car: a versatile tool and unified testing platform.
AutomotiveUI
Nicolas Louveton, Roderick McCall, Tigran Avanesov, Vincent Koenig, Thomas Engel
2012 J jnl
Intruder deducibility constraints with negation. Decidability and application to secured service compositions
CoRR
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
2012 A conf
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures.
TACAS
Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mödersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Viganò
2012 — conf
Towards the Orchestration of Secured Services under Non-disclosure Policies.
MMM-ACNS
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
2011 — conf
Distributed Orchestration of Web Services under Security Constraints.
DPM/SETOP
Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch, Mathieu Turuani
2011 — —
Resolution of constraint systems for automatic composition of security-aware Web Services. (Résolution de contraintes de déductibilité. Application à la composition de services Web sécurisés).
Tigran Avanesov
2011 J jnl
Satisfiability of General Intruder Constraints with and without a Set Constructor
CoRR
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
2011 — conf
Web Services Verification and Prudent Implementation.
DPM/SETOP
Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch
2010 C conf
Satisfiability of general intruder constraints with a set constructor.
CRiSIS
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
2008 C conf
Abusing SIP Authentication.
IAS
Humberto J. Abdelnur, Tigran Avanesov, Michaël Rusinowitch, Radu State