论文头条 | DplsLab_北京智慧云测设备技术有限公司

Symbolic Fault Injection for Plan-based Robotics

发表于 2022-11-01 来源 제어로봇시스템학회 국제학술대회 논문집

下载 PDF

作者

Tim Meywerk Vladimir Herdt Rolf Drechsler

摘要

Autonomous robots are being used increasingly in safety-critical environments. Due to their dynamic nature and uncertainty, failures of low-level acti 更多..

Sophisticated security verification on routing repaired balanced cell-based dual-rail logic against side channel analysis

发表于 2015-01-01 来源 IET Information Security DOI 10.1049/iet-ifs.2013.0058

下载 PDF

作者

Wei He Shivam Bhasin Andres Otero Tarik Graba Eduardo de la Torre Jean-Luc Danger

单位

Centro de Electronica Industrial, Universidad Politecnica de Madrid, Jose Gutierrez Abascal, 2, 28006 Madrid, Spain;Department of COMELEC, Institut MINES-TELECO展开

Centro de Electronica Industrial, Universidad Politecnica de Madrid, Jose Gutierrez Abascal, 2, 28006 Madrid, Spain;Department of COMELEC, Institut MINES-TELECOM/TELECOM-ParisTech, CNRS LTCI(UMR 5141), 37/39 Rue Dareau, 75014 Paris, Franc

摘要

Conventional dual-rail precharge logic suffers from difficult implementations of dual-rail structure for obtaining strict compensation between the cou 更多..

balanced cell-based dual rail logic complementary nets compound gate synchronisation coprocessors correlation theory Cryptography differential power dual rail precharge logic dual rail structure electromagnetic analyses electromagnetic fields field programmable gate arrays fleld programmable gate array formal verification global precharge signal logic design logic gates network routing random-access storage routing repair tech security verification Side-channel analysis synchronisation