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
|
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
|
||
|
Evaluation d'une solution d'isolation pour objets contraintsConférence francophone d'informatique en Parallélisme, Architecture et Système (COMPAS 2022), Jul 2022, Amiens, France
Conference papers
hal-03710419v1
|
||
|
ZBDS2023: A multi location Zigbee dataset to build innovative IoT Intrusion Detection Systems19th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2023), Jun 2023, Montréal, Canada. pp.84-91, ⟨10.1109/WiMob58348.2023.10187745⟩
Conference papers
hal-04173958v1
|
||
|
Pip-MPU: Formal verification of an MPU-based separation kernel for constrained devicesInternational Journal of Embedded Systems and Applications, 2023, 13 (02), pp.1-21. ⟨10.5121/ijesa.2023.13201⟩
Journal articles
hal-04185923v1
|
||
|
Proving Partial-Correctness and Invariance Properties of Transition-System ModelsScience of Computer Programming, 2020, 186, ⟨10.1016/j.scico.2019.102342⟩
Journal articles
hal-01962912v2
|
||
Contexte d’exécution dans la recherche de pire temps d’exécution d’un système complexeConférence d’informatique en Parallélisme, Architecture et Système (COMPAS'15), Jun 2015, Villeneuve d'Ascq, France
Conference papers
hal-01232261v1
|
|||
Les systèmes d'exploitation de la carte à microprocesseurSamia Bouzefrane and Pierre Paradinas. Les cartes à puce, Hermes, 2013, 9782746239135
Book sections
hal-00870778v1
|
|||
Secure extensible type system for efficient embedded operating system by using metatypesSanso 2005: First International Workshop on System and Networking for Smart Objects (SaNSO 2005), in Proc. 11th International Conference on Parallel and Distributed Systems, 2005, Fukuoka, Japan. pp.83--87
Conference papers
inria-00546601v1
|
|||
Contracts as a support to static analysis of open systemsProc. The First Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2007, Oslo, Norway
Conference papers
inria-00546657v1
|
|||
IoT Forensic: identification and classification of evidence in criminal investigationsThe 13th International Conference on Availability, Reliability and Security (ARES 2018), Aug 2018, Hamburg, Germany
Conference papers
hal-01820498v1
|
|||
|
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
|
||
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
|
|||
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⟩
Conference papers
hal-03385405v1
|