
Valérie Viet Triem Tong
94
Documents
Présentation
Publications
Publications
|
OATs’inside : Retrieving Object Behaviors From Native-based Obfuscated Android ApplicationsDigital Threats: Research and Practice, 2023, 4 (2), pp.1-27. ⟨10.1145/3584975⟩
Article dans une revue
hal-04279351
v1
|
|
Debiasing Android Malware Datasets: How Can I Trust Your Results If Your Dataset Is Biased?IEEE Transactions on Information Forensics and Security, 2022, 17, pp.2182-2197. ⟨10.1109/tifs.2022.3180184⟩
Article dans une revue
hal-03700082
v1
|
|
PWNJUTSU: A Dataset and a Semantics-Driven Approach to Retrace Attack CampaignsIEEE Transactions on Network and Service Management, 2022, Special Issue on Recent Advances in Network Security Management, 19 (4), pp.5252-5264. ⟨10.1109/TNSM.2022.3183476⟩
Article dans une revue
hal-03694719
v1
|
|
From TTP to IoC: Advanced Persistent Graphs for Threat HuntingIEEE Transactions on Network and Service Management, 2021, Special Issue on Latest Developments for Security Management of Networks and Services, 18 (2), pp.1321 - 1333. ⟨10.1109/TNSM.2021.3056999⟩
Article dans une revue
hal-03131262
v1
|
|
Challenges in Android Malware AnalysisERCIM News, 2016, Special Theme: Cybersecurity, 106, pp.42-43
Article dans une revue
hal-01355122
v1
|
|
Lutter contre les codes malveillantsInterstices, 2016
Article dans une revue
hal-01427326
v1
|
Information Flow Policies vs Malware -- Final BattleJournal of Information Assurance and Security, 2014, 9 (2), pp.72-82
Article dans une revue
hal-01062313
v1
|
|
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⟩
Article dans une revue
istex
hal-00761351
v1
|
|
User Data on Androïd Smartphone Must be ProtectedERCIM News, 2012, 90, pp.Page 18
Article dans une revue
hal-00735993
v1
|
|
User Data Confidentiality in an Orchestration of Web ServicesJournal of Information Assurance and Security, 2012, 7 (1), pp.32-40
Article dans une revue
hal-00735996
v1
|
|
Liability issues in software engineering: the use of formal methods to reduce legal uncertaintiesCommunications of the ACM, 2011, 54 (4), pp.99-106. ⟨10.1145/1924421.1924444⟩
Article dans une revue
hal-00656921
v1
|
|
Specifying and enforcing a fine-grained information flow policy : model and experimentsJournal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, 2010, 1 (1), pp.56-71
Article dans une revue
hal-00516672
v1
|
|
Policy-based intrusion detection in web applications by monitoring Java information flowsInternational Journal of Information and Computer Security, 2009, Vol.3 (N°3/4), 15 p
Article dans une revue
hal-00448139
v1
|
|
SCWAD: Automated Pentesting of Web ApplicationsSECRYPT 2024 - 21st International Conference on Security and Cryptography, Jul 2024, Dijon, France. pp.424 - 433, ⟨10.5220/0012721000003767⟩
Communication dans un congrès
hal-04874868
v1
|
|
CVE representation to build attack positions graphsCyberHunt 2023 - 6th Annual Workshop on Cyber Threat Intelligence and Hunting, IEEE BigData, Dec 2023, Sorrento, Italy. pp.1-5
Communication dans un congrès
hal-04317023
v1
|
|
CERBERE: Cybersecurity Exercise for Red and Blue team Entertainment, REproducibilityCyberHunt 2023 - 6th Annual Workshop on Cyber Threat Intelligence and Hunting, Dec 2023, Sorrento, Italy. pp.2980-2988, ⟨10.1109/BigData59044.2023.10386953⟩
Communication dans un congrès
hal-04285565
v1
|
|
URSID: Automatically Refining a Single Attack Scenario into Multiple Cyber Range ArchitecturesFPS 2023 - 16th International Symposium on Foundations & Practice of Security, Dec 2023, Bordeaux, France. pp.1-16
Communication dans un congrès
hal-04317073
v1
|
|
BAGUETTE: Hunting for Evidence of Malicious Behavior in Dynamic Analysis ReportsSECRYPT 2023 - 20th International conference on security and cryptography, Jul 2023, Rome, Italy. pp.1-8
Communication dans un congrès
hal-04102144
v1
|
|
DaViz: Visualization for Android Malware DatasetsRESSI 2022 - Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2022, Chambon-sur-Lac, France. pp.1-3
Communication dans un congrès
hal-03709062
v1
|
|
Towards a Representation of Malware Execution Traces for Experts and Machine LearningRESSI 2022 - Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2022, Chambon-sur-Lac, France. pp.1-3
Communication dans un congrès
hal-03675366
v1
|
|
Preventing Serialization Vulnerabilities through Transient Field DetectionSAC 2021 - 36th ACM/SIGAPP Symposium On Applied Computing, Mar 2021, Gwangju / Virtual, South Korea. pp.1-9
Communication dans un congrès
hal-03066847
v1
|
Accurate measurement of the energy consumption of security functions18th International Conference on Security and Cryptography (SECRYPT 2021),, Jul 2021, online streaming, France
Communication dans un congrès
hal-03510709
v1
|
|
|
GUI-Mimic, a cross-platform recorder and fuzzer of Graphical User InterfaceGreHack 2021 - 9th International Symposium on Research in Grey-Hat Hacking, Nov 2021, Grenoble, France. pp.1-7
Communication dans un congrès
hal-03449827
v1
|
|
Abusing Android Runtime for Application ObfuscationSAD 2020 - Workshop on Software Attacks and Defenses, Sep 2020, Genova, Italy. pp.616-624, ⟨10.1109/EuroSPW51379.2020.00089⟩
Communication dans un congrès
hal-02877815
v1
|
|
GroDDViewer: Dynamic Dual View of Android MalwareGraMSec 2020 - 7th Seventh International Workshop on Graphical Models for Security, Jun 2020, Virtual Conference, France. pp.127-139, ⟨10.1007/978-3-030-62230-5_7⟩
Communication dans un congrès
hal-02913112
v1
|
|
Isolating malicious code in Android malware in the wildMALCON 2019 - 14th International Conference on Malicious and Unwanted Software, Oct 2019, Nantucket, United States
Communication dans un congrès
hal-02288116
v1
|
|
Obfuscated Android Application DevelopmentCECC 2019 - Central European Cybersecurity Conference, Nov 2019, Munich, Germany. pp.1-6, ⟨10.1145/3360664.3361144⟩
Communication dans un congrès
hal-02305924
v1
|
|
Teaching Android Mobile SecuritySIGCSE '19 - 50th ACM Technical Symposium on Computer Science Education, Feb 2019, Minneapolis, United States. pp.232-238, ⟨10.1145/3287324.3287406⟩
Communication dans un congrès
hal-01940652
v1
|
|
Modeling the Operational Phases of APT CampaignsCSCI 2019 - 6th Annual Conf. on Computational Science & Computational Intelligence, Dec 2019, Las Vegas, United States. pp.1-6, ⟨10.1109/CSCI49370.2019.00023⟩
Communication dans un congrès
hal-02379869
v2
|
|
Challenges for Reliable and Large Scale Evaluation of Android Malware AnalysisSHPCS 2018 - International Workshop on Security and High Performance Computing Systems, Jul 2018, Orléans, France. pp.1068-1070, ⟨10.1109/HPCS.2018.00173⟩
Communication dans un congrès
hal-01844312
v1
|
|
Etat de l'Art des Techniques d'Unpacking pour les Applications AndroidRESSI 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. pp.1-3
Communication dans un congrès
hal-01794252
v1
|
|
Le projet CominLabs Kharon: aidons les malwares à s'exécuterRESSI 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. pp.1
Communication dans un congrès
hal-01794223
v2
|
|
Sharing and replaying attack scenarios with MoiraiRESSI 2017: Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2017, Autrans, France
Communication dans un congrès
hal-01533275
v1
|
|
Information flows at OS level unmask sophisticated Android malware14th International Conference on Security and Cryptography, Jul 2017, Madrid, Spain. pp.578-585, ⟨10.5220/0006476705780585⟩
Communication dans un congrès
hal-01535678
v1
|
|
Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux5th International FME Workshop on Formal Methods in Software Engineering, May 2017, Buenos Aires, Argentina. pp.10-16, ⟨10.1109/FormaliSE.2017.1⟩
Communication dans un congrès
hal-01535862
v1
|
|
Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory15th International Conference on Software Engineering and Formal Methods (SEFM 2017), Sep 2017, Trento, Italy. pp.1-16, ⟨10.1007/978-3-319-66197-1_1⟩
Communication dans un congrès
hal-01535949
v1
|
|
DroneJack: Kiss your drones goodbye!SSTIC 2017 - Symposium sur la sécurité des technologies de l'information et des communications, Jun 2017, Rennes, France. pp.1-8
Communication dans un congrès
hal-01635125
v1
|
|
Suivi de flux d'information correct sous Linux16èmes journées AFADL (Approches formelles dans l'assistance au développement de logiciels), Jun 2017, Montpellier, France. pp.19-26
Communication dans un congrès
hal-01535937
v1
|
|
GPFinder: Tracking the Invisible in Android Malware12th International Conference on Malicious and Unwanted Software, Oct 2017, Fajardo, Puerto Rico. pp.39-46, ⟨10.1109/MALWARE.2017.8323955⟩
Communication dans un congrès
hal-01584989
v1
|
|
TerminAPTor: Highlighting Advanced Persistent Threats through Information Flow Tracking8th IFIP International Conference on New Technologies, Mobility and Security, Nov 2016, Larnaca, Cyprus. ⟨10.1109/ntms.2016.7792480⟩
Communication dans un congrès
hal-01417612
v1
|
|
Kharon dataset: Android malware under a microscopeThe Learning from Authoritative Security Experiment Results (LASER) workshop, May 2016, San Jose, United States. pp.1-12
Communication dans un congrès
hal-01311917
v1
|
|
Privacy-Preserving Reputation Mechanism: A Usable Solution Handling Negative Ratings9th IFIP WG 11.11 International Conference, IFIPTM 2015, May 2015, Hambourg, Germany. pp.92-108, ⟨10.1007/978-3-319-18491-3_7⟩
Communication dans un congrès
hal-01131975
v2
|
|
Kayrebt: An Activity Diagram Extraction and Visualization Toolset Designed for the Linux Codebase2015 IEEE 3rd Working Conference on Software Visualization (VISSOFT), IEEE, Sep 2015, Bremen, Germany. ⟨10.1109/vissoft.2015.7332431⟩
Communication dans un congrès
hal-01213233
v1
|
|
Detection and Identification of Android Malware Based on Information Flow MonitoringThe 2nd IEEE International Conference on Cyber Security and Cloud Computing (CSCloud 2015), Nov 2015, New York, United States. ⟨10.1109/cscloud.2015.27⟩
Communication dans un congrès
hal-01191595
v1
|
|
Kharon : Découvrir, comprendre et reconnaître des malware Android par suivi de flux d'informationRendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2015, Troyes, France
Communication dans un congrès
hal-01154368
v1
|
|
GroddDroid: a Gorilla for Triggering Malicious Behaviors10th International Conference on Malicious and Unwanted Software, Oct 2015, Fajardo, Puerto Rico. pp.119-127, ⟨10.1109/MALWARE.2015.7413692⟩
Communication dans un congrès
hal-01201743
v2
|
|
Mécanisme de réputation distribué préservant la vie privée avec témoignages négatifsALGOTEL 2015 - 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Communication dans un congrès
hal-01148072
v1
|
Towards a Formal Semantics for System Calls in terms of Information FlowTenth International Conference on Systems (ICONS 2015), Apr 2015, Barcelone, Spain. pp.1-4
Communication dans un congrès
hal-01149471
v1
|
|
|
Capturing Android Malware Behaviour using System Flow GraphNSS 2014 - The 8th International Conference on Network and System Security, Oct 2014, Xi'an, China. ⟨10.1007/978-3-319-11698-3_43⟩
Communication dans un congrès
hal-01018611
v1
|
Information Flow Policies vs MalwareIAS - Information assurance and security - 2013, 2013, Yassmine Hammamet, Tunisia
Communication dans un congrès
hal-00909406
v1
|
|
Secure states versus Secure executions: From access control to flow controlICISS 2013 - 9th International Conference on Information Systems Security, Dec 2013, Calcutta, India. pp.148-162, ⟨10.1007/978-3-642-45204-8_11⟩
Communication dans un congrès
istex
hal-01083384
v1
|
|
BSPL: A Language to Specify and Compose Fine-grained Information Flow PoliciesSECUREWARE - 7th International Conference on Emerging Security Information, Systems and Technologies - 2013, 2013, Barcelona, Spain
Communication dans un congrès
hal-00909400
v1
|
|
Diagnosing intrusions in Android operating system using system flow graphWorkshop Interdisciplinaire sur la Sécurité Globale, Jan 2013, Troyes, France
Communication dans un congrès
hal-00875211
v1
|
|
|
A Privacy Preserving Distributed Reputation MechanismInternational Conference on communications (ICC), Jun 2013, Budapest, France. 6 p
Communication dans un congrès
hal-00763212
v3
|
User Defined Control Flow Policy for Web Service OrchestrationC&ESAR 2012, Nov 2012, Rennes, France. pp.NC
Communication dans un congrès
hal-00761354
v1
|
|
Designing information flow policies for Android's operating systemIEEE ICC 2012, Jun 2012, Ottawa, Canada
Communication dans un congrès
hal-00736034
v1
|
|
Mise en œuvre de politiques de protection des flux d'information dans l'environnement AndroidComputer & Electronics Security Applications Rendez-vous (C&ESAR 2011), Nov 2011, Rennes, France
Communication dans un congrès
hal-00656933
v1
|
|
|
Information Flow Control for Intrusion Detection derived from MAC Policy2011 IEEE International Conference on Communications (ICC), Jun 2011, Kyoto, Japan. 6 p., ⟨10.1109/icc.2011.5962660⟩
Communication dans un congrès
hal-00647116
v1
|
From SSIR to CIDre: a New Security Research Group in Rennes1st SysSec Workshop, Jul 2011, Amsterdam, Netherlands
Communication dans un congrès
hal-00656940
v1
|
|
|
Preventing data leakage in service orchestrationIAS 2011, Dec 2011, Malacca, Malaysia. 6 p., ⟨10.1109/ISIAS.2011.6122806⟩
Communication dans un congrès
hal-00657796
v1
|
Flow based interpretation of access control: Detection of illegal information flows7th International Conference on Information Systems Security (ICISS), Dec 2011, Kolkata, India. pp.72-86, ⟨10.1007/978-3-642-25560-1_5⟩
Communication dans un congrès
istex
hal-00647170
v1
|
|
|
Contrôle d'accès versus Contrôle de flots10emes Journées Francophones sur les Approches Formelles dans l'Assistance au développement des logiciels, AFADL 2010, Jun 2010, Poitiers, France. pp.27-41
Communication dans un congrès
hal-00593990
v1
|
Protection des données utilisateurs dans une orchestration de Web-ServicesSARSSI 2010, May 2010, Menton, France. pp.NC
Communication dans un congrès
hal-00536660
v1
|
|
|
Liability in Software Engineering Overview of the LISE Approach and Illustration on a Case StudyACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010), ACM/IEEE, May 2010, Cape Town, South Africa. pp.135--144, ⟨10.1145/1806799.1806823⟩
Communication dans un congrès
inria-00472287
v3
|
An Efficient Distributed PKI for Structured P2P Networks9th IEEE International Conference on Peer-to-Peer Computing (P2P), Sep 2009, Seattle, United States. 10 p
Communication dans un congrès
hal-00423320
v1
|
|
Specification of Anonymity as a Secrecy Property in the ADM Logic – Homomorphic-based Voting ProtocolsInternational Conference on Availability, Reliability and Security, Mar 2009, Fukuoka, Japan
Communication dans un congrès
hal-00349878
v1
|
|
A distributed certification system for structured P2P networks2nd International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jul 2008, Bremen, Germany. pp.40-52
Communication dans un congrès
hal-00287656
v1
|
|
A Sybilproof Distributed Identity Management for P2P Networks13th IEEE Symposium on Computers and Communications (ISCC), Jul 2008, Marrakesch, Morocco
Communication dans un congrès
hal-00287706
v1
|
|
Policy-Based Intrusion Detection in Web Applications by Monitoring Java Information FlowsCRiSIS 2008, Oct 2008, Tozeur, Tunisia. 8 p
Communication dans un congrès
hal-00353000
v1
|
|
Spécification Formelle des propriétés des Protocoles de Vote au moyen de la Logique ADMConférence sur la sécurité des Architectures Réseaux et des Systèmes d'Information, Oct 2008, Loctudy, France
Communication dans un congrès
hal-00349883
v1
|
|
A Sybil-Resistant Admission Control Coupling SybilGuard with Distributed Certification4th International Workshop on Collaborative Peer-to-Peer Systems (COPS) 2008, Jun 2008, Rome, Italy
Communication dans un congrès
hal-00287700
v1
|
|
Detecting and Excluding Misbehaving Nodes in a P2P Network8th International Conference on Innovative Internet Community Systems (I2CS), Jun 2008, Martinique
Communication dans un congrès
hal-00353016
v1
|
|
Specification of Electronic Voting Protocol Properties Using ADM Logic : FOO Case StudyICICS 08, Oct 2008, Birmingham, United Kingdom
Communication dans un congrès
hal-00349880
v1
|
|
|
FingerKey, un cryptosystème biométrique pour l'authentificationConférence sur la Sécurité et Architectures Réseaux, Jun 2007, annecy, France
Communication dans un congrès
hal-00156447
v1
|
Détection fiable et pertinente de flux d'information illégauxSixth Conference on Security and Network Architectures (SARSSI), Jun 2007, France
Communication dans un congrès
hal-00268422
v1
|
|
Contrôle d'accès distribué à un réseau pair-à-pairSixth Conference on Security and Network Architectures (SARSSI), Jun 2007, France
Communication dans un congrès
hal-00268415
v1
|
|
Gestion distribuée d'identités résistante à la Sybil attack pour un réseau pair-à-pairSixth Conference on Security and Network Architectures (SARSSI), Jun 2007, France
Communication dans un congrès
hal-00268419
v1
|
|
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
Communication dans un congrès
hal-00268408
v1
|
|
|
Biometric fuzzy extractors made practical: a proposal based on FingerCodesInternational conference on Biometrics, Aug 2007, Seoul, South Korea. pp.604-613, ⟨10.1007/978-3-540-74549-5⟩
Communication dans un congrès
hal-00175353
v1
|
|
Digital twin for security evaluation using an attack agentUSENIX 2024 - 33rd USENIX Security Symposium, Aug 2024, Philadelphia, United States. , pp.1-1, 2024
Poster de conférence
hal-04708718
v1
|
|
Using Implicit Calls to Improve Malware Dynamic Execution37th IEEE Symposium on Security and Privacy, May 2016, San Jose, United States
Poster de conférence
hal-01304326
v1
|
|
Towards Automatic Triggering of Android Malware12th International Conference on Detection of Intrusions and Malware & Vulnerability Assessment, Jul 2015, Milano, Italy
Poster de conférence
hal-01168354
v1
|
Highlighting Easily How Malicious Applications Corrupt Android DevicesResearch in Attacks, Intrusions, and Defenses, Sep 2014, Gothenburg, Sweden. Research in Attacks, Intrusions, and Defenses, 2014
Poster de conférence
hal-01083376
v1
|
|
Extending Signatures of ReputationHansen, M.; Hoepman, J.-H.; Leenes, R.; Whitehouse, D. Privacy and Identity Management for Emerging Services and Technologies : 8th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6 International Summer School, Nijmegen, The Netherlands, June 17-21, 2013, Revised Selected Papers, AICT-421, Springer, pp.165-176, 2014, IFIP Advances in Information and Communication Technology (TUTORIAL), 978-3-642-55136-9. ⟨10.1007/978-3-642-55137-6_13⟩
Chapitre d'ouvrage
hal-00997133
v1
|
|
Se protéger d'une pandémie numérique2023
Autre publication scientifique
hal-04547827
v1
|
Blare Tools: A Policy-Based Intrusion Detection System Automatically Set by the Security Policy2009
Autre publication scientifique
hal-00420117
v1
|
|
Efficient Distributed Privacy-Preserving Reputation Mechanism Handling Non-Monotonic Ratings2015
Pré-publication, Document de travail
hal-01104837
v2
|
|
Information Flow Policies vs Malware[Technical Report] 2013
Rapport
(rapport technique)
hal-00862468
v1
|
Analyse de logs guidée par des vérifications de formules de responsabilité exprimées en CTL[Rapport de recherche] D4.1, Supélec. 2011
Rapport
(rapport de recherche)
hal-01172702
v1
|
|
|
Liability in Software Engineering: Overview of the LISE Approach and Illustration on a Case Study[Research Report] RR-7148, INRIA. 2009, pp.23
Rapport
(rapport de recherche)
inria-00440437
v1
|
|
Reachability Analysis over Term Rewriting Systems[Research Report] RR-4970, INRIA. 2003
Rapport
(rapport de recherche)
inria-00071609
v1
|
|
Proving Negative Conjectures on Equational Theories using Induction and Abstract Interpretation[Research Report] RR-4576, INRIA. 2002
Rapport
(rapport de recherche)
inria-00072012
v1
|
|
Reachability Analysis of Term Rewriting Systems with Timbuk[Research Report] RR-4266, INRIA. 2001
Rapport
(rapport de recherche)
inria-00072321
v1
|
|
Apport du suivi de flux d'information pour la sécurité des systèmesCryptographie et sécurité [cs.CR]. Université Rennes 1, 2015
HDR
tel-01342243
v1
|
Chargement...
Chargement...