DK3494509T3 - Sekvensverificering - Google Patents
Sekvensverificering Download PDFInfo
- 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
Links
- 238000012795 verification Methods 0.000 title 1
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)
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 (da) |
EP (2) | EP3279826A1 (da) |
KR (1) | KR102422351B1 (da) |
CN (1) | CN109891425B (da) |
DK (1) | DK3494509T3 (da) |
ES (1) | ES2894890T3 (da) |
WO (1) | WO2018024797A1 (da) |
Families Citing this family (3)
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)
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 |
WO1999014881A2 (en) * | 1997-09-16 | 1999-03-25 | Information Resource Engineering, Inc. | Cryptographic co-processor |
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 |
EP1612638B1 (en) * | 2004-07-01 | 2011-03-09 | Texas Instruments Incorporated | Method and system of verifying proper execution of a secure mode entry sequence |
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 |
-
2016
- 2016-08-04 EP EP16182872.8A patent/EP3279826A1/en not_active Withdrawn
-
2017
- 2017-08-02 CN CN201780061291.7A patent/CN109891425B/zh active Active
- 2017-08-02 EP EP17748467.2A patent/EP3494509B1/en active Active
- 2017-08-02 ES ES17748467T patent/ES2894890T3/es active Active
- 2017-08-02 US US16/322,983 patent/US11314518B2/en active Active
- 2017-08-02 KR KR1020197006350A patent/KR102422351B1/ko active IP Right Grant
- 2017-08-02 DK DK17748467.2T patent/DK3494509T3/da active
- 2017-08-02 WO PCT/EP2017/069578 patent/WO2018024797A1/en unknown
Also Published As
Publication number | Publication date |
---|---|
WO2018024797A1 (en) | 2018-02-08 |
CN109891425A (zh) | 2019-06-14 |
KR20190038609A (ko) | 2019-04-08 |
EP3494509B1 (en) | 2021-09-29 |
US11314518B2 (en) | 2022-04-26 |
KR102422351B1 (ko) | 2022-07-19 |
CN109891425B (zh) | 2022-11-15 |
US20190187994A1 (en) | 2019-06-20 |
EP3279826A1 (en) | 2018-02-07 |
ES2894890T3 (es) | 2022-02-16 |
EP3494509A1 (en) | 2019-06-12 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
DK3405050T3 (da) | Børnesikret snusbeholder | |
DK3436823T3 (da) | Antigen-array | |
DK3335532T3 (da) | Tandharve | |
DK3445708T3 (da) | Stigbøjle | |
FI20160137A (fi) | Vikavirtaindikaattori | |
DK3402792T3 (da) | Quinolin-2-on-derivater | |
DK3509963T3 (da) | Pallecontainer | |
FI20165164A (fi) | Kellukekone | |
FI20165213A (fi) | Hyperspektrikuvausjärjestely | |
DK3528829T3 (da) | Bacitracin-alginat-oligomer-konjugater | |
DK3575238T3 (da) | Pallecontainer | |
DE112017006386A5 (de) | Schraubarbeitszylinder | |
DK3452590T3 (da) | Plademagnet | |
DE112017000734A5 (de) | Glycolsensor | |
DK3494509T3 (da) | Sekvensverificering | |
DK3323708T3 (da) | Bovfender | |
DK3471535T3 (da) | Dyrelift | |
DK3430609T3 (da) | Smartflag | |
DK3295800T3 (da) | Sandwichkiksindretning | |
DE112017006474A5 (de) | Gargerätevorrichtung | |
DK3551954T3 (da) | Rekuperator | |
DE112017005767A5 (de) | Nasslaufende lamellenkupplung | |
DK3468607T3 (da) | Resveratrolsolubilisat | |
DE112017000296A5 (de) | Radgeschwindigkeitssensorvorrichtung | |
FI11378U1 (fi) | Nostosarana |