Filter your results
- 27
- 18
- 31
- 6
- 4
- 1
- 1
- 1
- 1
- 1
- 44
- 2
- 1
- 2
- 2
- 3
- 3
- 5
- 4
- 10
- 2
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 36
- 9
- 39
- 39
- 10
- 10
- 6
- 6
- 5
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 45
- 10
- 10
- 9
- 7
- 7
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
From SSIR to CIDre: a New Security Research Group in Rennes1st SysSec Workshop, Jul 2011, Amsterdam, Netherlands
Conference papers
hal-00656940v1
|
|||
Classification des approches de détection d'intrusions dans les systèmes de contrôle industriels et axes d'améliorationRendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI 2016), May 2016, Toulouse, France
Conference papers
hal-01587915v1
|
|||
|
ARMHEx: A hardware extension for DIFT on ARM-based SoCs2017 27th International Conference on Field Programmable Logic and Applications (FPL), Sep 2017, Ghent, Belgium. ⟨10.23919/fpl.2017.8056767⟩
Conference papers
hal-01558473v1
|
||
|
ARMHEx: a framework for efficient DIFT in real-world SoCsConference poster hal-01558475v1 |
||
|
Intrusion Survivability for Commodity Operating Systems and Services: A Work in ProgressRESSI 2018 - Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2018, Nancy / La Bresse, France
Conference papers
hal-02280376v1
|
||
Détection fiable et pertinente de flux d'information illégauxSixth Conference on Security and Network Architectures (SARSSI), Jun 2007, France
Conference papers
hal-00268422v1
|
|||
|
Co-processor-based Behavior Monitoring: Application to the Detection of Attacks Against the System Management ModeACSAC 2017 - 33rd Annual Computer Security Applications Conference, Dec 2017, Orlando, United States. pp.399-411, ⟨10.1145/3134600.3134622⟩
Conference papers
hal-01634566v1
|
||
Preventive Information Flow Control through a Mechanism of Split Addresses9th International Conference on Security of Information and Networks (SIN 2016), Jul 2016, Newark, United States. p.1-8, ⟨10.1145/2947626.2947645⟩
Conference papers
hal-01344565v1
|
|||
|
DAMAS: Control-Data Isolation at Runtime through Dynamic Binary ModificationSILM 2021 - Workshop on the Security of Software / Hardware Interfaces, Sep 2021, digital event, Austria. pp.86-95, ⟨10.1109/EuroSPW54576.2021.00016⟩
Conference papers
hal-03340008v1
|
||
|
Cross-domain Alert Correlation methodology for Industrial Control SystemsComputers and Security, 2022, 118 (July), pp.102723. ⟨10.1016/j.cose.2022.102723⟩
Journal articles
hal-03636549v1
|
||
|
Efficient Mining of Temporal Safety Properties for Intrusion Detection in Industrial Control SystemsSAFEPROCESS 2018 - 10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, Aug 2018, Varsovie, Poland. pp.1-8
Conference papers
hal-01877109v1
|
||
|
A portable approach for SoC-based Dynamic Information Flow Tracking implementations11ème Colloque du GDR SoC/SiP, Jun 2016, Nantes, France
Conference papers
hal-01311045v1
|
||
|
Sécurité de la plate-forme d'exécution Java : limites et propositions d'améliorationsSymposium sur la sécurité des technologies de l'information et des communications (SSTIC), 2010, Rennes, France
Conference papers
inria-00537820v1
|
||
|
Intrusion Survivability for Commodity Operating SystemsDigital Threats: Research and Practice, 2020, 1 (4), pp.1-30. ⟨10.1145/3419471⟩
Journal articles
hal-03085774v1
|
||
|
Détection d'intrusions paramétrée par la politique de sécurité grâce au contrôle collaboratif des flux d'informations au sein du système d'exploitation et des applications : mise en œuvre sous Linux pour les programmes JavaAutre [cs.OH]. Université Rennes 1, 2008. Français. ⟨NNT : ⟩
Theses
tel-00355089v1
|
||
Policy-Based Intrusion Detection in Web Applications by Monitoring Java Information FlowsCRiSIS 2008, Oct 2008, Tozeur, Tunisia. 8 p
Conference papers
hal-00353000v1
|
|||
|
SpecCert: Specifying and Verifying Hardware-based Security Enforcement[Technical Report] CentraleSupélec; Agence Nationale de Sécurité des Systèmes d’Information. 2016, pp.20
Reports
hal-01356690v1
|
||
|
HardBlare: an efficient hardware-assisted DIFC for non-modified embedded processorsCHES 2015 - Workshop on Cryptographic Hardware and Embedded Systems, Sep 2015, Saint-Malo, France. 2015
Conference poster
hal-01252597v1
|
||
|
Plateforme de protection de binaires configurable et dynamiquement adaptativeRESSI 2019 - Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2019, Erquy, France. pp.1-3
Conference papers
hal-02385216v1
|
||
Monitoring both OS and program level information flows to detect intrusions against network serversIEEE Workshop on Monitoring, Attack Detection and Mitigation, Nov 2007, Toulouse, France
Conference papers
hal-00268408v1
|
|||
Towards Automated Protocol Reverse Engineering Using Semantic InformationASIA CCS '14, Jun 2014, Kyoto, Japan. pp.51-62, ⟨10.1145/2590296.2590346⟩
Conference papers
hal-01009283v1
|
|||
Spécification et mécanisme de détection de flots d'information illégauxRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2012, 31 (6), pp.713-742. ⟨10.3166/tsi.31.713-742⟩
Journal articles
istex
hal-00761351v1
|
|||
|
SpecCert: Specifying and Verifying Hardware-based Software Enforcement21st International Symposium on Formal Methods (FM 2016), Nov 2016, Limassol, Cyprus. ⟨10.1007/978-3-319-48989-6_30⟩
Conference papers
hal-01361422v1
|
||
|
A self-correcting information flow control model for the web-browserFPS 2016 - The 9th International Symposium on Foundations & Practice of Security, Oct 2016, Québec City, Canada. pp.285-301, ⟨10.1007/978-3-319-51966-1_19⟩
Conference papers
hal-01398192v1
|
||
|
A novel lightweight hardware-assisted static instrumentation approach for ARM SoC using debug componentsAsianHOST 2018 - Asian Hardware Oriented Security and Trust Symposium, Dec 2018, Hong Kong, China. pp.1-13, ⟨10.1109/asianhost.2018.8607177⟩
Conference papers
hal-01911621v1
|
||
|
Survivor: A Fine-Grained Intrusion Response and Recovery Approach for Commodity Operating SystemsACSAC 2019 - 35th Annual Computer Security Applications Conference, Dec 2019, San Juan, Puerto Rico. ⟨10.1145/3359789.3359792⟩
Conference papers
hal-02289315v2
|
||
Detecting Process-Aware Attacks in Sequential Control SystemsNordSec 2016 - 21st Nordic Conference on Secure IT Systems (NordSec 2016), Nov 2016, Oulu, Finland. p.20-36, ⟨10.1007/978-3-319-47560-8_2⟩
Conference papers
hal-01361081v1
|
|||
Preventive Information Flow Control through a Mechanism of Split Addresses9ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, May 2014, Saint-Germain-Au-Mont-d'Or, France
Conference papers
hal-01344563v1
|
|||
HardBlare: an efficient hardware-assisted DIFC for non-modified embedded processorsHiPEAC, Jan 2016, Prague, Czech Republic. 2016
Conference poster
hal-01450844v1
|
|||
|
ARMHEx: embedded security through hardware-enhanced information flow trackingRESSI 2017 : Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2017, Grenoble (Autrans), France
Conference papers
hal-01558155v1
|
- 1
- 2