Filter your results
- 47
- 26
- 60
- 5
- 5
- 1
- 1
- 1
- 4
- 1
- 68
- 1
- 2
- 5
- 2
- 5
- 1
- 10
- 5
- 3
- 4
- 4
- 1
- 2
- 2
- 4
- 2
- 4
- 5
- 5
- 6
- 1
- 61
- 12
- 42
- 34
- 32
- 14
- 7
- 6
- 5
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 73
- 13
- 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
- 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
- 1
- 1
- 1
73 Results
|
Ahead of time deployment in ROM of a Java-OS2nd International Conference on Embedded Software and System (ICESS 2005), 2005, Xi'an, China
Conference papers
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
Conference papers
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
Conference papers
hal-03102252v1
|
||
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⟩
Journal articles
inria-00542544v1
|
|||
|
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
Conference papers
hal-00309687v1
|
||
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
Conference papers
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
Conference papers
inria-00546662v1
|
|||
|
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⟩
Conference papers
hal-01117977v1
|
||
Hypervision logicielle et défiance matérielleConférence d’informatique en Parallélisme, Architecture et Système (Compas), Jul 2016, Lorient, France
Conference papers
hal-01379295v1
|
|||
|
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⟩
Conference papers
hal-01193142v1
|
||
|
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
Conference papers
hal-00996876v1
|
||
|
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
Conference papers
hal-01556564v1
|
||
|
Forensic analysis of IoT ecosystemFiCloud 2021 The 8th International Conference on Future Internet of Things and Cloud, Aug 2021, Roma, Italy
Conference papers
hal-03369836v1
|
||
|
Serving Embedded Content via Web Applications: Model, Design and ExperimentationEmsoft 2009, Oct 2009, Grenoble, France
Conference papers
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
Conference papers
inria-00514501v1
|
||
|
Consistency and scalability in event notification for embedded Web applicationsWSE 2009, Sep 2009, Edmonton, Canada
Conference papers
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
Conference papers
inria-00385140v2
|
||
|
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
Conference papers
hal-01122780v1
|
||
|
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
Conference papers
inria-00113684v1
|
||
|
The Web of Things: interconnecting devices with high usability and performanceICESS 2009, May 2009, HangZhou, Chile
Conference papers
inria-00390615v1
|
||
|
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⟩
Conference papers
hal-03671598v2
|
||
An Open-Source Tool to Benchmark Java Card Platformse-Smart Conf., Sophia Antipolis, Jan 2008, X, France
Conference papers
hal-01125551v1
|
|||
|
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⟩
Conference papers
hal-03655003v2
|
||
|
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
Conference papers
hal-00723739v1
|
||
Genetic Algorithm for DWCET Evaluation on Complex Platform9th IEEE International Symposium on Industrial Embedded Systems, Jun 2014, Pisa, Italy
Conference papers
hal-01131239v1
|
|||
|
Formal proof of dynamic memory isolation based on MMUScience of Computer Programming, 2018, 162, pp.76-92. ⟨10.1016/j.scico.2017.06.012⟩
Journal articles
hal-01712347v1
|
||
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
Conference papers
hal-01819676v1
|
|||
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⟩
Conference papers
hal-01801080v1
|
|||
|
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
Conference papers
hal-00746991v1
|
||
Virtual Keyboard Logging Counter-measures using Common Fate's LawSAM'17 - International Conference on Security and Management, Jul 2017, Las Vegas, United States
Conference papers
hal-01820025v1
|