Search - Université Toulouse 1 Capitole Access content directly

Filter your results

494 Results
Domains : info.info-cr
Image document

Bypassing IOMMU Protection against I/O Attacks

Benoît Morgan , Eric Alata , Vincent Nicomette , Mohamed Kaâniche
7th Latin-American Symposium on Dependable Computing (LADC’16), Oct 2016, Cali, Colombia. pp.145-150, ⟨10.1109/LADC.2016.31⟩
Conference papers hal-01419962v1
Image document

Mirage: towards a Metasploit-like framework for IoT

Romain Cayre , Vincent Nicomette , Guillaume Auriol , Eric Alata , Mohamed Kaâniche et al.
2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE), Oct 2019, Berlin, Germany
Conference papers hal-02346074v1
Image document

Game Jam [4Research]

Menno Deen , Robert Cercos , Alan Chatham , Amani Naseem , Allan Fowler et al.
International Conference for Human-Computer Interaction - CHI 2014, Apr 2014, Toronto, Canada. pp. 25-28
Conference papers hal-01137749v1
Image document

PANDA: prototyping using annotation and decision analysis

Jean-Luc Hak , Marco Winckler , David Navarre
8th ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2016), Jun 2016, Brussels, Belgium. pp. 171-176
Conference papers hal-01712526v1

Security and safety interplay of intelligent software systems: ESORICS 2018 international workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6-7, 2018, revised selected papers

Hamid Brahim , Gallina Barbara , Shabtai Asaf , Elovici Yuval , Joaquin Garcia-Alfaro et al.
Springer, pp.173, 2019, Security and Cryptology, LNCS, vol. 11552, Security and Cryptology, LNCS, vol. 11552, 978-3-030-16873-5
Books hal-02086531v1

Requirements Analysis from Vertical Stakeholders

Mahdi Akil , Cristina Alcaraz , Pierre-Henri Cros , Afonso Ferreira , Simone Fischer-Hübner et al.
, 200 p., 2020, Deliverable D4.1 from Cyber Security for Europe
Books hal-03014029v1

AMORES: an architecture for mobiquitous resilient systems

Christian Artigues , Yves Deswarte , Jérémie Guiochet , Marie-José Huguet , Marc-Olivier Killijian et al.
ARMOR'12, Apr 2012, Sibiu, Romania. Article N°7 (7p.), ⟨10.1145/2222436.2222443⟩
Conference papers hal-00736020v1

Detecting Attacks Against Data in Web Applications

Romaric Ludinard , Eric Totel , Frédéric Tronel , Vincent Nicomette , Mohamed Kaâniche et al.
CRiSIS 2012 - 7th International Conference on Risks and Security of Internet and Systems, Oct 2012, Cork, Ireland. pp.1-8
Conference papers hal-00735997v1
Image document

On the use of graph transformations for model composition traceability

Youness Laghouaouta , Adil Anwar , Mahmoud Nassar , Jean-Michel Bruel
8th International Conference on Research Challenge in Information Science (RCIS 2014), May 2014, Marrakesh, Morocco. pp. 1-11
Conference papers hal-01387730v1
Image document

Abstraction and Verification of Properties of a Real-Time Java

Nadezhda Baklanova , Martin Strecker
8th International Conference on Information in Education, Research, and Industrial Applications (ICTERI 2012), Jun 2012, Kherson, Ukraine. pp.1-18
Conference papers hal-01264525v1
Image document

Efficient Online Analysis of Accidental Fault Localization for Dynamic Systems using Hidden Markov Model

Ning Ge , Shin Nakajima , Marc Pantel
Symposium on Theory and Modeling of Simulation (TMS/DEVS 2013), Apr 2013, San Diego, CA, United States. pp.1-8
Conference papers hal-03668914v1
Image document

Testing-Based Compiler Validation for Synchronous Languages

Pierre-Loïc Garoche , Folk Howar , Temesghen Kahsai , Xavier Thirioux
6th International Symposium on NASA Formal Methods (NFM 2014), Apr 2014, Houston, Texas, United States. pp.246-251, ⟨10.1007/978-3-319-06200-6_19⟩
Conference papers hal-02092914v1
Image document

A Map of Asynchronous Communication Models

Florent Chevrou , Aurélie Hurault , Shin Nakajima , Philippe Quéinnec
Refinement Workshop, in World Congress on Formal Methods (REFINE 2019), Oct 2019, Porto, Portugal. pp.1-15, ⟨10.1007/978-3-030-54997-8_20⟩
Conference papers hal-02930097v1
Image document

Taylor Series Revisited

Xavier Thirioux , Alexis Maffart
International Colloquium on Theoretical Aspects of Computing (ICTAC 2019), Oct 2019, Hammamet, Tunisia. pp.335-352
Conference papers hal-02950743v1
Image document

Johnson's procedure: mechanization and parallelization

M Filali , Nabil Zaidi
7th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2016) in conjunction with ECRTS 2016, Jul 2016, Toulouse, France. pp.9-10
Conference papers hal-01517378v1
Image document

A comparative study of two formal semantics of the SIGNAL language

Zhibin Yang , Jean-Paul Bodeveix , M Filali
Frontiers of Computer Science, 2013, vol. 7 (n° 5), pp. 673-693. ⟨10.1007/s11704-013-3908-2⟩
Journal articles hal-01154264v1

A Methodological Approach to Evaluate Security Requirements Engineering Methodologies: Application to the IREHDO2 Project Context

Romain Laborde , Sravani Teja Bulusu , Ahmad Samer Wazan , Arnaud Oglaza , Abdelmalek Benzekri et al.
Journal of Cybersecurity and Privacy, 2021, 1 (3), pp.422-452. ⟨10.3390/jcp1030022⟩
Journal articles hal-03323564v1
Image document

Specification By Example for Educational Purposes

Isabelle Blasquez , Hervé Leblanc
ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE 2017), Jul 2017, Bologna, Italy. pp. 212-217
Conference papers hal-03624716v1
Image document

A Survey on MBSE Adoption Challenges

Mohammad Chami , Jean-Michel Bruel
INCOSE EMEA Sector Systems Engineering Conference (INCOSE EMEASEC 2018), Nov 2018, Berlin, Germany. pp.1-16
Conference papers hal-02124402v1
Image document

Analysis of distributed multi-periodic systems to achieve consistent data matching

Nadège Pontisso , Philippe Quéinnec , Gérard Padiou
Concurrency and Computation: Practice and Experience, 2013, vol. 25 (n° 2), pp. 234-249. ⟨10.1002/cpe.2803⟩
Journal articles hal-01130800v1

Delegating Elliptic-Curve Operations with Homomorphic Encryption

Carlos Aguilar Melchor , Jean-Christophe Deneuville , Philippe Gaborit , Tancrède Lepoint , Thomas Ricosset et al.
IEEE Conference on Communications and Network Security, May 2018, Pékin, China
Conference papers hal-01946364v1
Image document

Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web

Fayollas Camille , Célia Martinie , Philippe Palanque , Paolo Masci , Michael Harrison et al.
3rd Workshop on Formal Integrated Development Environment (F-IDE 2016), co-located with FM 2016, Nov 2016, Limassol, Cyprus. pp.1-19, ⟨10.4204/EPTCS.240.1⟩
Conference papers hal-01757338v1
Image document

Mobile interaction with and in autonomous vehicles

Alexander Meschtscherjakov , Manfred Tscheligi , Peter Frölich , Rod Mccall , Andreas Riener et al.
International Conference on Human-Computer Interaction with Mobile Devices and Services (MobileHCI), Sep 2017, Vienna, Austria. pp.1-6, ⟨10.1145/3098279.3119837⟩
Conference papers hal-02878791v1
Image document

Collection and analysis of attack data based on honeypots deployed on the Internet

Eric Alata , Marc Dacier , Yves Deswarte , Mohamed Kaâniche , Kostya Kortchinsky et al.
Workshop on Quality of protection (QoP 2005), Security Measurements and Metrics, Sep 2005, France. pp.79-92
Conference papers hal-00140390v1
Image document

Lessons Learned from the deployment of a high-interaction honeypot

Eric Alata , Vincent Nicomette , Mohamed Kaâniche , Marc Dacier , Matthieu Herrb et al.
European Dependable Computing Conference, Oct 2006, France. pp.39-44
Conference papers hal-00140355v1
Image document

Designing and Assessing Interactive Systems Using Task Models (2016)

Philippe Palanque , Célia Martinie
ACM SIGCHI Conference on Human Factors in Computing Systems (CHI 2016), ACM SIGCHI, May 2016, San José, CA, United States. pp.976-979, ⟨10.1145/2851581.2856686⟩
Conference papers hal-01493786v1
Image document

Abstracting and Structuring Web Contents for Supporting Personal Web Experiences

Sergio Firmenich , Gabriela Bosseti , Gustavo Rossi , Marco Winckler , Tomas Barbieri et al.
16th International Conference on Web Engineering (ICWE 2016), Jun 2016, Lugano, Switzerland. pp. 77-95
Conference papers hal-01709191v1
Image document

Common Pattern Modeling Language for Object and Component Architectures

Jacob Geisel , Brahim Hamid , Adel Ziani , Ansgar Radermacher
20th Pattern Languages of Programs Conference (PLoP 2013), Oct 2013, Monticello, Illinois, United States. pp. 1-16
Conference papers hal-01402742v1
Image document

Heterogeneous models matching for consistency management

Mahmoud El Hamlaoui , Sophie Ebersold , Bernard Coulette , Mahmoud Nassar , Adil Anwar et al.
IEEE International Conference on Research Challenges in Information Science - RCIS 2014, May 2014, Marrakech, Morocco. pp. 1-12
Conference papers hal-01147267v1
Image document

Towards an Integrated Conceptual Design Evaluation of Mechatronic Systems: The SysDICE Approach

Mohammad Chami , Jean-Michel Bruel
International Conference on Computational Science (ICCS 2015), Jun 2015, Reykjavik, Iceland. pp. 650-659
Conference papers hal-01327102v1