DK3494509T3 - Sekvensverificering - Google Patents

Sekvensverificering Download PDF

Info

Publication number
DK3494509T3
DK3494509T3 DK17748467.2T DK17748467T DK3494509T3 DK 3494509 T3 DK3494509 T3 DK 3494509T3 DK 17748467 T DK17748467 T DK 17748467T DK 3494509 T3 DK3494509 T3 DK 3494509T3
Authority
DK
Denmark
Prior art keywords
sequence verification
verification
sequence
Prior art date
Application number
DK17748467.2T
Other languages
Danish (da)
English (en)
Inventor
Marco Macchetti
Nicolas Fischer
Jerome Perrine
Original Assignee
Nagravision Sa
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Nagravision Sa filed Critical Nagravision Sa
Application granted granted Critical
Publication of DK3494509T3 publication Critical patent/DK3494509T3/da

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
    • G06F21/52—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems during program execution, e.g. stack integrity ; Preventing unwanted data erasure; Buffer overflow
    • G06F21/54—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems during program execution, e.g. stack integrity ; Preventing unwanted data erasure; Buffer overflow by adding security routines or objects to programs
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/30—Arrangements for executing machine instructions, e.g. instruction decode
    • G06F9/38—Concurrent instruction execution, e.g. pipeline or look ahead
    • G06F9/3877—Concurrent instruction execution, e.g. pipeline or look ahead using a slave processor, e.g. coprocessor
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
    • G06F21/55—Detecting local intrusion or implementing counter-measures
    • G06F21/554—Detecting local intrusion or implementing counter-measures involving event detection and direct action
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/70—Protecting specific internal or peripheral components, in which the protection of a component leads to protection of the entire computer
    • G06F21/71—Protecting specific internal or peripheral components, in which the protection of a component leads to protection of the entire computer to assure secure computing or processing of information
    • G06F21/72—Protecting specific internal or peripheral components, in which the protection of a component leads to protection of the entire computer to assure secure computing or processing of information in cryptographic circuits
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/28—Error detection; Error correction; Monitoring by checking the correct order of processing
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/30—Circuit design
    • G06F30/32—Circuit design at the digital level
    • G06F30/327—Logic synthesis; Behaviour synthesis, e.g. mapping logic, HDL to netlist, high-level language to RTL or netlist

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Computer Security & Cryptography (AREA)
  • Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Mathematical Physics (AREA)
  • Storage Device Security (AREA)
  • Debugging And Monitoring (AREA)
DK17748467.2T 2016-08-04 2017-08-02 Sekvensverificering DK3494509T3 (da)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
EP16182872.8A EP3279826A1 (en) 2016-08-04 2016-08-04 Sequence verification
PCT/EP2017/069578 WO2018024797A1 (en) 2016-08-04 2017-08-02 Sequence verification

Publications (1)

Publication Number Publication Date
DK3494509T3 true DK3494509T3 (da) 2021-10-25

Family

ID=56681964

Family Applications (1)

Application Number Title Priority Date Filing Date
DK17748467.2T DK3494509T3 (da) 2016-08-04 2017-08-02 Sekvensverificering

Country Status (7)

Country Link
US (1) US11314518B2 (zh)
EP (2) EP3279826A1 (zh)
KR (1) KR102422351B1 (zh)
CN (1) CN109891425B (zh)
DK (1) DK3494509T3 (zh)
ES (1) ES2894890T3 (zh)
WO (1) WO2018024797A1 (zh)

Families Citing this family (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN112055846A (zh) * 2018-07-31 2020-12-08 惠普发展公司，有限责任合伙企业 执行指令
US11269637B2 (en) * 2020-07-23 2022-03-08 Hewlett Packard Enterprise Development Lp Validating machine-readable instructions using an iterative validation process
US11698969B1 (en) * 2021-06-25 2023-07-11 Amazon Technologies, Inc. Boot security of integrated circuit device

Family Cites Families (16)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP0889088A1 (en) 1997-07-01 1999-01-07 Du Pont De Nemours International S.A. Polyolefin compositions
EP1013026A4 (en) * 1997-09-16 2004-09-08 Information Resource Engineeri CRYPTOGRAPHIC COPROCESSOR
FR2790844B1 (fr) * 1999-03-09 2001-05-25 Gemplus Card Int Procede et dispositif de surveillance du deroulement d'un programme, dispositif programme permettant la surveillance de son programme
DE10061997A1 (de) * 2000-12-13 2002-07-18 Infineon Technologies Ag Kryptographieprozessor
DE602004031719D1 (de) * 2004-07-01 2011-04-21 Texas Instruments Inc Verfahren und System zur Überprüfung der Ausführung einer Eingabesequenz eines sicheren Modus
US20060059369A1 (en) * 2004-09-10 2006-03-16 International Business Machines Corporation Circuit chip for cryptographic processing having a secure interface to an external memory
US7739517B2 (en) * 2005-03-31 2010-06-15 Intel Corporation Hardware-based authentication of a software program
FR2884000A1 (fr) * 2005-04-05 2006-10-06 St Microelectronics Sa Coprocesseur securise comprenant des moyens pour empecher l'acces a un organe du coprocesseur
US9177153B1 (en) * 2005-10-07 2015-11-03 Carnegie Mellon University Verifying integrity and guaranteeing execution of code on untrusted computer platform
CN101196965A (zh) * 2006-12-07 2008-06-11 上海安创信息科技有限公司 防攻击高级加密标准的加密芯片的算法
EP2262259A1 (en) * 2009-06-08 2010-12-15 Nagravision S.A. Method for monitoring execution of data processing program instructions in a security module
US8904189B1 (en) * 2010-07-15 2014-12-02 The Research Foundation For The State University Of New York System and method for validating program execution at run-time using control flow signatures
CN103888254B (zh) * 2012-12-21 2017-05-31 阿里巴巴集团控股有限公司 一种网络验证信息的方法和装置
CN103279700A (zh) * 2013-06-08 2013-09-04 北京时代奥视数码技术有限公司 液晶监视器的固件版本验证方法和液晶监视器
KR101584221B1 (ko) * 2013-10-18 2016-01-19 삼성전자주식회사 Crum 칩 및 이를 포함하는 소모품 유닛을 검증하는 화상형성장치와 그 방법
US10783250B2 (en) * 2014-07-24 2020-09-22 Nuvoton Technology Corporation Secured master-mediated transactions between slave devices using bus monitoring

Also Published As

Publication number Publication date
WO2018024797A1 (en) 2018-02-08
EP3494509B1 (en) 2021-09-29
US20190187994A1 (en) 2019-06-20
ES2894890T3 (es) 2022-02-16
US11314518B2 (en) 2022-04-26
EP3279826A1 (en) 2018-02-07
KR102422351B1 (ko) 2022-07-19
CN109891425B (zh) 2022-11-15
EP3494509A1 (en) 2019-06-12
CN109891425A (zh) 2019-06-14
KR20190038609A (ko) 2019-04-08

Similar Documents

Publication Publication Date Title
DK3405050T3 (da) Børnesikret snusbeholder
DK3436823T3 (da) Antigen-array
FI20160137A (fi) Vikavirtaindikaattori
DK3335532T3 (da) Tandharve
DK3445708T3 (da) Stigbøjle
DK3402792T3 (da) Quinolin-2-on-derivater
DK3509963T3 (da) Pallecontainer
FI20165213A (fi) Hyperspektrikuvausjärjestely
FI20165164A (fi) Kellukekone
DK3528829T3 (da) Bacitracin-alginat-oligomer-konjugater
DK3575238T3 (da) Pallecontainer
DK3494509T3 (da) Sekvensverificering
DE112017006386A5 (de) Schraubarbeitszylinder
DE112017000734A5 (de) Glycolsensor
DK3471535T3 (da) Dyrelift
DK3323708T3 (da) Bovfender
DK3452590T3 (da) Plademagnet
DK3452587T3 (da) Penicillin-g-acylaser
DK3295800T3 (da) Sandwichkiksindretning
DK3551954T3 (da) Rekuperator
DE112017005767A5 (de) Nasslaufende lamellenkupplung
DK3468607T3 (da) Resveratrolsolubilisat
DK3430609T3 (da) Smartflag
DE112017000296A5 (de) Radgeschwindigkeitssensorvorrichtung
FI11378U1 (fi) Nostosarana