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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
Flexible Bindings for Type-Safe Embedded Operating Systems.ECOOP Workshop on Programming Languages and Operating Systems, in association with the 18th ACM ECOOP conference, Jun 2004, Oslo, Norway
Communication dans un congrès
hal-00309687v1
|
||
On the Use of metatypes for safe embedded operating system extensionInternational Journal of Parallel, Emergent and Distributed Systems, 2007, 22 (1), pp.1--13. ⟨10.1080/17445760600761437⟩
Article dans une revue
inria-00542544v1
|
|||
A verifiable lightweight escape analysis supporting creational design patterns for small embedded systemsProc. of the 2007 IEEE International Symposium on Ubisafe Computing (UbiSafe-07), 2007, Niagara Falls, Canada. pp.440--447
Communication dans un congrès
inria-00546597v1
|
|||
Can small and open embedded systems benefit from escape analysis?Proc. of ECOOP Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2006), 2006, Nantes, France
Communication dans un congrès
inria-00546662v1
|
|||
|
Key-Study to Execute Code Using Demand Paging and NAND Flash at Smart Card Scale9th IFIP WG 8.8/11.2 International Conference on Smart Card Research and Advanced Applications (CARDIS), Apr 2010, Passau, Germany. pp.102-117, ⟨10.1007/978-3-642-12510-2_8⟩
Communication dans un congrès
inria-00529489v2
|
||
Embedding Verifiable Information Flow AnalysisProc. 4th Annual Conference on Privacy, Security and Trust, 2006, Toronto, Canada. pp.343--352
Communication dans un congrès
inria-00544957v1
|
|||
|
Extensions Temps-Réel pour Exo-Noyau Embarqué3ème Conférence Française sur les Systèmes d'Exploitation (CFSE'3), 2003, La Colle sur Loup, France
Communication dans un congrès
inria-00113776v1
|
||
|
Application-Driven Customization of an Embedded Java Virtual MachineSecond International Symposium on Ubiquitous Intelligence and Smart Worlds (UISW2005), Dec 2005, Nagasaki, Japan
Communication dans un congrès
inria-00113691v1
|