Filtrer vos résultats
- 49
- 25
- 61
- 5
- 5
- 1
- 1
- 1
- 4
- 1
- 69
- 1
- 3
- 5
- 3
- 4
- 1
- 10
- 5
- 3
- 4
- 4
- 1
- 2
- 2
- 4
- 2
- 4
- 5
- 5
- 6
- 1
- 62
- 12
- 43
- 34
- 32
- 17
- 7
- 6
- 5
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 74
- 14
- 11
- 10
- 9
- 8
- 7
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
74 résultats
An information flow verifier for small embedded systemsProc. Workshop in Information Security Theory and Practices 2007 Smart Cards, Mobile and Ubiquitous Computing Systems, 2007, Heraklion, Crete, Greece. pp.189--201
Communication dans un congrès
inria-00544955v1
|
|||
A low-cost energy consumption measurement platformINTESA: INTelligent Embedded Systems Architectures and Applications, Oct 2018, Turin, Italy. pp.7-12, ⟨10.1145/3285017.3285025⟩
Communication dans un congrès
hal-03134049v1
|
|||
|
|
Etude de l'impact des attaques distribuées et multi-chemins sur les solutions de sécurité réseaux9ème édition de la conférence MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication - MajecSTIC 2012 (2012), Oct 2012, Villeneuve d'Ascq, France. 8 p
Communication dans un congrès
hal-00746991v1
|
||
Challenges for the design of a privacy-preserving, multi-domain telemetry system for widely-spread network security appliancesWorkshop on Privacy by Design in Distributed Systems W-P2DS, Apr 2018, Porto, Portugal. ⟨10.1145/3195258.3195262⟩
Communication dans un congrès
hal-01801080v1
|
|||
Evidence Gathering in IoT Criminal InvestigationEAI International Conference on Digital Forensics & Cyber Crime, Oct 2020, Boston, United States. pp.44-61, ⟨10.1007/978-3-030-68734-2_3⟩
Communication dans un congrès
hal-03385405v1
|
|||
Porting the Pip proto-kernel's model to multi-core environments16th IEEE Intl Conf on Dependable, Autonomic and Secure Computing (IEEE-DASC'2018)., Aug 2018, Athens, Greece
Communication dans un congrès
hal-01819676v1
|
|||
Virtual Keyboard Logging Counter-measures using Common Fate's LawSAM'17 - International Conference on Security and Management, Jul 2017, Las Vegas, United States
Communication dans un congrès
hal-01820025v1
|
|||
|
|
From MMU to MPU: adaptation of the Pip kernel to constrained devices3rd International Conference on Internet of Things & Embedded Systems (IoTE 2022), Dec 2022, Sydney, Australia
Communication dans un congrès
hal-03705114v2
|
||
|
|
DISCUS: A massively distributed IDS architecture using a DSL-based configurationInternational Conference on Information Science, Electronics and Electrical Engineering, Apr 2014, Sapporo, Japan. 5 p
Communication dans un congrès
hal-00996876v1
|
||
|
|
Preuve formelle d'isolation mémoire dynamique à base de MMUVingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France. pp.297-300
Communication dans un congrès
hal-01122780v1
|
||
|
|
Forensic analysis of IoT ecosystemFiCloud 2021 The 8th International Conference on Future Internet of Things and Cloud, Aug 2021, Roma, Italy
Communication dans un congrès
hal-03369836v1
|
||
Hypervision logicielle et défiance matérielleConférence d’informatique en Parallélisme, Architecture et Système (Compas), Jul 2016, Lorient, France
Communication dans un congrès
hal-01379295v1
|
|||
|
|
Pip, un proto-noyau fait pour renforcer la sécurité dans les objets connectésConférence d’informatique en Parallélisme, Architecture et Système (ComPAS), Université Sophia Antipolis, Jun 2017, Sophia Antipolis, France
Communication dans un congrès
hal-01556564v1
|
||
|
|
Serving Embedded Content via Web Applications: Model, Design and ExperimentationEmsoft 2009, Oct 2009, Grenoble, France
Communication dans un congrès
inria-00424372v1
|
||
|
|
Efficient Web Requests Scheduling Considering Resources SharingMascots, Aug 2010, 18th Annual Meeting of the IEEE/ACM International Symposium on Modeling, Analysis and Simulation of, United States
Communication dans un congrès
inria-00514501v1
|
||
|
|
Consistency and scalability in event notification for embedded Web applicationsWSE 2009, Sep 2009, Edmonton, Canada
Communication dans un congrès
inria-00422386v1
|
||
|
|
Smews: Smart and Mobile Embedded Web ServerIMIS 2009 - International Workshop on Innovative Mobile and Internet Services in Ubiquitous Computing, Mar 2009, Fukuoka, Japan
Communication dans un congrès
inria-00385140v2
|
||
|
|
Energy Consumption of Networked Embedded SystemsFiCloud - International Conference on Future Internet of Things and Cloud - 2015, Helen Karatza; Beniamino Di Martino, Aug 2015, Rome, Italy. ⟨10.1109/FiCloud.2015.90⟩
Communication dans un congrès
hal-01193142v1
|
||
|
|
The Web of Things: interconnecting devices with high usability and performanceICESS 2009, May 2009, HangZhou, Chile
Communication dans un congrès
inria-00390615v1
|
||
|
|
Formal proof of dynamic memory isolation based on MMUScience of Computer Programming, 2018, 162, pp.76-92. ⟨10.1016/j.scico.2017.06.012⟩
Article dans une revue
hal-01712347v1
|
||
|
|
Large-scale coordinated attacks : Impact on the cloud securityThe Second International Workshop on Mobile Commerce, Cloud Computing, Network and Communication Security 2012, Jul 2012, Palermo, Italy. pp.558
Communication dans un congrès
hal-00723739v1
|
||
|
|
A Low-Footprint Class Loading Mechanism for Embedded Java Virtual Machines3rd ACM International Conference on the Principles and Practice of Programming in Java, 2004, Las Vegas, USA
Communication dans un congrès
inria-00113684v1
|
||
Genetic Algorithm for DWCET Evaluation on Complex Platform9th IEEE International Symposium on Industrial Embedded Systems, Jun 2014, Pisa, Italy
Communication dans un congrès
hal-01131239v1
|
|||
An Open-Source Tool to Benchmark Java Card Platformse-Smart Conf., Sophia Antipolis, Jan 2008, X, France
Communication dans un congrès
hal-01125551v1
|
|||
|
|
A Formal Correctness Proof for an EDF Scheduler ImplementationRTAS 2022: 28th IEEE Real-Time and Embedded Technology and Applications Symposium, May 2022, Milan, Italy. ⟨10.1109/RTAS54340.2022.00030⟩
Communication dans un congrès
hal-03671598v2
|
||
|
|
One Year of DDoS Attacks Against a Cloud Provider: an Overview4th International Conference on Advances in Computer Technology, Information Science and Communications, Apr 2022, Suzhou, China. ⟨10.1109/CTISC54888.2022.9849755⟩
Communication dans un congrès
hal-03655003v2
|
||
|
|
Ahead of time deployment in ROM of a Java-OS2nd International Conference on Embedded Software and System (ICESS 2005), 2005, Xi'an, China
Communication dans un congrès
inria-00113693v1
|
||
|
|
Romization: Early Deployment and Customization of Java Systems for Restrained DevicesIn International workshop on Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS05), Dec 2005, Nice, France
Communication dans un congrès
inria-00113752v1
|
||
|
|
Survey on adaptation techniques of energy consumption within a smartphoneScience and Information Conference (SAI), 2014, Aug 2014, Londres, United Kingdom. ⟨10.1109/SAI.2014.6918197⟩
Communication dans un congrès
hal-01117977v1
|
||
|
|
Perspectives on security kernels for IoTRESSI (Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information), Dec 2020, Online, France
Communication dans un congrès
hal-03102252v1
|