Benjamin Morin

According to our database, Benjamin Morin authored at least 22 papers between 2000 and 2021.

Collaborative distances:

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

2021

Quantifying the impact of consumer behavior on foodborne illness using a compartment model.

Jessye Talley, Lauren B. Davis, Benjamin Morin, Liping Liu

Comput. Ind. Eng., 2021

2017

Student-Driven Research at the Mathematical and Theoretical Biology Institute.

Carlos Castillo-Chavez, Christopher Kribs, Benjamin Morin

Am. Math. Mon., 2017

2016

SpecCert: Specifying and Verifying Hardware-Based Security Enforcement.

Thomas Letan, Pierre Chifflier, Guillaume Hiet, Pierre Néron, Benjamin Morin

Proceedings of the FM 2016: Formal Methods, 2016

2013

Parsifal: Writing efficient and robust binary parsers, quickly.

Olivier Levillain, Hervé Debar, Benjamin Morin

Proceedings of the 2013 International Conference on Risks and Security of Internet and Systems (CRiSIS), 2013

2012

Computational and Analytical Mathematical Techniques for Modeling Heterogeneity.

Benjamin Morin

PhD thesis, 2012

One year of SSL internet measurement.

Olivier Levillain, Arnaud Ébalard, Benjamin Morin, Hervé Debar

Proceedings of the 28th Annual Computer Security Applications Conference, 2012

2011

What If You Can't Trust Your Network Card?

Loïc Duflot, Yves-Alexis Perez, Benjamin Morin

Proceedings of the Recent Advances in Intrusion Detection - 14th International Symposium, 2011

2010

On the Limits of Hypervisor- and Virtual Machine Monitor-Based Isolation.

Loïc Duflot, Olivier Grumelard, Olivier Levillain, Benjamin Morin

Proceedings of the Towards Hardware-Intrinsic Security - Foundations and Practice, 2010

ACPI and SMI handlers: some limits to trusted computing.

Loïc Duflot, Olivier Grumelard, Olivier Levillain, Benjamin Morin

J. Comput. Virol., 2010

2009

A logic-based model to support alert correlation in intrusion detection.

Benjamin Morin, Ludovic Mé, Hervé Debar, Mireille Ducassé

Inf. Fusion, 2009

Policy-based intrusion detection in web applications by monitoring Java information flows.

Guillaume Hiet, Valérie Viet Triem Tong, Ludovic Mé, Benjamin Morin

Int. J. Inf. Comput. Secur., 2009

ACPI: Design Principles and Concerns.

Loïc Duflot, Olivier Levillain, Benjamin Morin

Proceedings of the Trusted Computing, 2009

2008

Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study.

Mehdi Talbi, Benjamin Morin, Valérie Viet Triem Tong, Adel Bouhoula, Mohamed Mejri

Proceedings of the Information and Communications Security, 10th International Conference, 2008

2007

Intrusion detection and virology: an analysis of differences, similarities and complementariness.

Benjamin Morin, Ludovic Mé

J. Comput. Virol., 2007

2006

A Secure Universal Loyalty Card.

Sébastien Canard, Fabrice Clerc, Benjamin Morin

Proceedings of the Security in Information Systems, 2006

Improving Security Management through Passive Network Observation.

Yohann Thomas, Hervé Debar, Benjamin Morin

Proceedings of the The First International Conference on Availability, 2006

2005

Conceptual Analysis of Intrusion Alarms.

Benjamin Morin, Hervé Debar

Proceedings of the Image Analysis and Processing, 2005

2004

Détection d'intrusions : corrélation d'alertes.

Hervé Debar, Benjamin Morin, Frédéric Cuppens, Fabien Autrel, Ludovic Mé, Bernard Vivinis, Salem Benferhat, Mireille Ducassé, Rodolphe Ortalo

Tech. Sci. Informatiques, 2004

2003

Correlation of Intrusion Symptoms: An Application of Chronicles.

Benjamin Morin, Hervé Debar

Proceedings of the Recent Advances in Intrusion Detection, 6th International Symposium, 2003

2002

M2D2: A Formal Data Model for IDS Alert Correlation.

Benjamin Morin, Ludovic Mé, Hervé Debar, Mireille Ducassé

Proceedings of the Recent Advances in Intrusion Detection, 5th International Symposium, 2002

Evaluation of the Diagnostic Capabilities of Commercial Intrusion Detection Systems.

Hervé Debar, Benjamin Morin

Proceedings of the Recent Advances in Intrusion Detection, 5th International Symposium, 2002

2000

Flexible Intrusion Detection Using Variable-Length Behavior Modeling in Distributed Environment: Application to CORBA Objects.

Zakia Marrakchi, Ludovic Mé, Bernard Vivinis, Benjamin Morin

Proceedings of the Recent Advances in Intrusion Detection, Third International Workshop, 2000