Chercheur ou chercheuse

Vučinić Mališa

Chercheur ou chercheuse identifié(e) à partir d’une publication HAL.

Activité actuelle non vérifiée

Activité scientifique

Informations établies à partir des publications HAL présentes dans le périmètre importé.

6publications HAL repérées

6publications depuis 5 ans

2026publication la plus récente

Profils publics

Publications sur HAL →Profil ORCID →

Domaines HAL

InformatiqueSciences de l’ingénieur

Mots-clés fréquents

Formal VerificationSRAM PUFHardware-accelerationCryptographyEmbedded devicesRustSecret keyReliabilitySecrecy leakageSymbolic AnalysisSAPIC+EDHOCDY modelDevice onboardingIoT securityMutual attestationLightweight security access controlHardware security implementation

Publications récentes repérées

embedded-cal: A Formally Verified Cryptographic Provider for Embedded Platforms2026 · Communication dans un congrès
Consulter →
TMVS: Threshold-based Majority Voting Scheme for Robust SRAM PUFs2026 · Article
Consulter →
Formal Verification of EDHOC-PSK: A Symbolic Approach with SAPIC+2026 · Communication dans un congrès
Consulter →
SwarmIT: Turn Your Collection of Robots into a Robust and Programmable Swarm Testbed2026 · Communication dans un congrès
Consulter →
M-AuRA: Mutual Authentication and Remote Attestation Over EDHOC2026 · Article
Consulter →
FIUSE: NVM-Free Secret Generation for Secure Chip-Scale Embedded Systems using SRAM PUF2026 · Communication dans un congrès
Consulter →

Rattaché à

Une publication atteste un rattachement à sa date, mais ne permet pas de savoir s’il existe encore aujourd’hui.

Centre Inria de Paris · preuve HAL en 2026

Implantations

Localisation de la structure de rattachement « Centre Inria de Paris » : 48 rue Barrault ,CS 61534, 75647, Paris, France

Explorer les liens

Parcourez les rattachements, les regroupements et les projets. Choisissez une entité pour explorer ses liens.

Vučinić Mališa

Rattachement documentéCentre Inria de ParisStructure fédérativeConsulter →

Une participation commune à un projet ne prouve pas une collaboration directe entre ses participants. Un rattachement repéré dans une publication ne confirme pas à lui seul une affectation actuelle.

Sources et actualisation

HAL

Fiche mise à jour: 06/10/2026

Les informations présentées proviennent de données librement accessibles et de sources publiques. Elles peuvent être incomplètes ou avoir évolué ; consultez les sources indiquées pour les confirmer.

Proposer une correction

Connectez-vous pour envoyer une proposition privée à l’administration.

Se connecter

Une erreur ou une précision à apporter ?

Votre commentaire suivra les règles habituelles de modération du site.

Ajouter un commentaire Annuler la réponse

Vous devez vous connecter pour publier un commentaire.

Connectez-vous avec:

Les cahiers de l'innovation