JP6429785B2 - 演算子のないコンパイラ - Google Patents

演算子のないコンパイラ Download PDF

Info

Publication number
JP6429785B2
JP6429785B2 JP2015540106A JP2015540106A JP6429785B2 JP 6429785 B2 JP6429785 B2 JP 6429785B2 JP 2015540106 A JP2015540106 A JP 2015540106A JP 2015540106 A JP2015540106 A JP 2015540106A JP 6429785 B2 JP6429785 B2 JP 6429785B2
Authority
JP
Japan
Prior art keywords
computer program
compiler
generated
language code
code
Prior art date
Legal status (The legal status 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 status listed.)
Expired - Fee Related
Application number
JP2015540106A
Other languages
English (en)
Japanese (ja)
Other versions
JP2015537298A (ja
JP2015537298A5 (enExample
Inventor
パウルス マティアス フベルトス メヒティルディス アントニウス ホリッセン
パウルス マティアス フベルトス メヒティルディス アントニウス ホリッセン
ルドヴィクス マリヌス ヘラルドス マリア トルフイゼン
ルドヴィクス マリヌス ヘラルドス マリア トルフイゼン
ミナ デン
ミナ デン
ウィルヘルムス ペトルス アドリアヌス ヨハヌス ミヒールス
ウィルヘルムス ペトルス アドリアヌス ヨハヌス ミヒールス
ウィヘル イド ヤン ヒスペン
ウィヘル イド ヤン ヒスペン
コンスタント パウル マリー ヨゼフ バッヘン
コンスタント パウル マリー ヨゼフ バッヘン
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Koninklijke Philips NV
Original Assignee
Koninklijke Philips NV
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
Family has litigation
First worldwide family litigation filed litigation Critical https://patents.darts-ip.com/?family=47757443&utm_source=google_patent&utm_medium=platform_link&utm_campaign=public_patent_search&patent=JP6429785(B2) "Global patent litigation dataset” by Darts-ip is licensed under a Creative Commons Attribution 4.0 International License.
Application filed by Koninklijke Philips NV filed Critical Koninklijke Philips NV
Publication of JP2015537298A publication Critical patent/JP2015537298A/ja
Publication of JP2015537298A5 publication Critical patent/JP2015537298A5/ja
Application granted granted Critical
Publication of JP6429785B2 publication Critical patent/JP6429785B2/ja
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G06F8/42—Syntactic analysis
    • G06F8/425—Lexical analysis
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/10—Protecting distributed programs or content, e.g. vending or licensing of copyrighted material ; Digital rights management [DRM]
    • G06F21/12—Protecting executable software
    • G06F21/14—Protecting executable software against software analysis or reverse engineering, e.g. by obfuscation
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G06F8/44—Encoding
    • G06F8/447—Target code generation
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/52—Binary to binary

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Multimedia (AREA)
  • Technology Law (AREA)
  • Computer Hardware Design (AREA)
  • Computer Security & Cryptography (AREA)
  • Devices For Executing Special Programs (AREA)
JP2015540106A 2012-11-07 2013-10-30 演算子のないコンパイラ Expired - Fee Related JP6429785B2 (ja)

Applications Claiming Priority (5)

Application Number Priority Date Filing Date Title
US201261723410P 2012-11-07 2012-11-07
US61/723,410 2012-11-07
EP13156991.5 2013-02-27
EP13156991 2013-02-27
PCT/EP2013/072668 WO2014072209A1 (en) 2012-11-07 2013-10-30 Compiler generating operator free code

Publications (3)

Publication Number Publication Date
JP2015537298A JP2015537298A (ja) 2015-12-24
JP2015537298A5 JP2015537298A5 (enExample) 2016-11-24
JP6429785B2 true JP6429785B2 (ja) 2018-11-28

Family

ID=47757443

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2015540106A Expired - Fee Related JP6429785B2 (ja) 2012-11-07 2013-10-30 演算子のないコンパイラ

Country Status (8)

Country Link
US (1) US9921813B2 (enExample)
EP (1) EP2917833B1 (enExample)
JP (1) JP6429785B2 (enExample)
CN (1) CN104823161B (enExample)
BR (1) BR112015010016A2 (enExample)
MX (1) MX2015005621A (enExample)
RU (1) RU2015121749A (enExample)
WO (1) WO2014072209A1 (enExample)

Families Citing this family (16)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20160328539A1 (en) * 2015-05-05 2016-11-10 Nxp B.V. Obscuring Software Code With Split Variables
US10068070B2 (en) * 2015-05-05 2018-09-04 Nxp B.V. White-box elliptic curve point multiplication
CN105404497B (zh) * 2015-10-26 2018-05-25 北京锐安科技有限公司 一种逻辑表达式的解析方法及装置
CN105740215A (zh) * 2016-01-23 2016-07-06 北京掌阔移动传媒科技有限公司 一种数据通信编码和解码方法
US10481881B2 (en) 2017-06-22 2019-11-19 Archeo Futurus, Inc. Mapping a computer code to wires and gates
US9996328B1 (en) 2017-06-22 2018-06-12 Archeo Futurus, Inc. Compiling and optimizing a computer code by minimizing a number of states in a finite machine corresponding to the computer code
WO2018236384A1 (en) * 2017-06-22 2018-12-27 Archeo Futurus, Inc. Compiling and optimizing a computer code by minimizing a number of states in a finite machine corresponding to the computer code
SG11202004147RA (en) * 2017-11-09 2020-06-29 Nchain Holdings Ltd System for securing verification key from alteration and verifying validity of a proof of correctness
EP3591550A1 (en) * 2018-07-06 2020-01-08 Koninklijke Philips N.V. A compiler device with masking function
US10996981B2 (en) * 2019-03-15 2021-05-04 Toshiba Memory Corporation Processor zero overhead task scheduling
CN111736839B (zh) * 2019-03-25 2025-04-08 华为技术有限公司 一种编译链接方法及装置
CN110543407B (zh) * 2019-08-21 2021-11-05 杭州趣链科技有限公司 一种Solidity智能合约性能静态分析方法
CN111091612B (zh) * 2019-10-09 2023-06-02 武汉凌久微电子有限公司 一种抽象目标码架构的着色语言机器码生成方法及装置
US11921616B1 (en) * 2022-03-29 2024-03-05 Amazon Technologies, Inc. Retaining Dafny specifications
US11934810B2 (en) * 2022-05-19 2024-03-19 Microsoft Technology Licensing, Llc Translating an edit from a child computer language to a parent computer language while maintaining a semantic meaning of the edit
CN116068955A (zh) * 2022-12-27 2023-05-05 湖北楚天高速数字科技有限公司 一种软plc控制方法、装置、设备及存储介质

Family Cites Families (14)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5781752A (en) 1996-12-26 1998-07-14 Wisconsin Alumni Research Foundation Table based data speculation circuit for parallel processing computer
JPH11110224A (ja) * 1997-09-29 1999-04-23 Nec Corp 言語処理装置及び方法、並びに情報記憶媒体
US6658492B1 (en) * 1998-03-20 2003-12-02 Sun Microsystems, Inc. System and method for reducing the footprint of preloaded classes
JP2000194567A (ja) 1998-12-25 2000-07-14 Toshiba Corp コンパイル装置、コンパイル方法、コンパイルプログラムを格納したコンピュ―タ読み取り可能な記録媒体および目的プログラムを格納したコンピュ―タ読み取り可能な記録媒体
CA2298990A1 (en) * 2000-02-18 2001-08-18 Cloakware Corporation Method and system for resistance to power analysis
US7996671B2 (en) 2003-11-17 2011-08-09 Bluerisc Inc. Security of program executables and microprocessors based on compiler-architecture interaction
US7703088B2 (en) 2005-09-30 2010-04-20 Intel Corporation Compressing “warm” code in a dynamic binary translation environment
US8106463B2 (en) 2005-12-06 2012-01-31 Arm, Inc. Memory cells for read only memories
CN101432755B (zh) * 2006-04-28 2011-01-12 松下电器产业株式会社 程序难破解化系统、程序难破解化装置及程序难破解化方法
US20080127142A1 (en) 2006-11-28 2008-05-29 Microsoft Corporation Compiling executable code into a less-trusted address space
US7796671B2 (en) 2008-03-31 2010-09-14 Electro Scientific Industries, Inc. Multi-pass optical power amplifier
US9134977B2 (en) * 2010-02-26 2015-09-15 Red Hat, Inc. Compiler operation for handling conditional statements
CN102043659A (zh) * 2010-12-08 2011-05-04 上海交通大学 消除内存访问冲突的编译装置及其实现方法
EP2482184A1 (en) * 2011-02-01 2012-08-01 Irdeto B.V. Adaptive obfuscated virtual machine

Also Published As

Publication number Publication date
US20150277865A1 (en) 2015-10-01
JP2015537298A (ja) 2015-12-24
CN104823161B (zh) 2018-10-09
WO2014072209A1 (en) 2014-05-15
EP2917833A1 (en) 2015-09-16
US9921813B2 (en) 2018-03-20
EP2917833B1 (en) 2018-12-12
CN104823161A (zh) 2015-08-05
RU2015121749A (ru) 2016-12-27
MX2015005621A (es) 2015-08-20
BR112015010016A2 (pt) 2017-07-11

Similar Documents

Publication Publication Date Title
JP6429785B2 (ja) 演算子のないコンパイラ
Borrello et al. Constantine: Automatic side-channel resistance using efficient control and data flow linearization
Simon et al. What you get is what you C: Controlling side effects in mainstream C compilers
Homescu et al. Profile-guided automated software diversity
JP5643894B2 (ja) サイドチャネル攻撃および反復起動攻撃に耐える動的可変タイミング演算パスのシステムおよび方法
Gal et al. Trace-based just-in-time type specialization for dynamic languages
CN108345773B (zh) 基于虚拟机的代码保护方法及装置、电子设备、存储介质
US8429637B2 (en) System and method for conditional expansion obfuscation
Van Cleemput et al. Adaptive compiler strategies for mitigating timing side channel attacks
Anckaert et al. A model for self-modifying code
Couroussé et al. Runtime code polymorphism as a protection against side channel attacks
EP2700005A1 (en) Method and apparatus for generating resource efficient computer program code
Agosta et al. A multiple equivalent execution trace approach to secure cryptographic embedded software
US10095847B2 (en) Method, system and device for protection against reverse engineering and/or tampering with programs
CN114003868A (zh) 一种处理软件代码的方法和电子设备
Hwang et al. Identifying Input-Dependent jumps from obfuscated execution using dynamic data flow graphs
Protsenko et al. Protecting android apps against reverse engineering by the use of the native code
Cornero et al. An experimental environment validating the suitability of CLI as an effective deployment format for embedded systems
Simon et al. The GDSL toolkit: Generating frontends for the analysis of machine code
Barbosa et al. Compiling CAO: from cryptographic specifications to C implementations
Dunaev et al. A method of machine code translation to intermediate representation
Kaufmann et al. Superblock compilation and other optimization techniques for a Java-based DBT machine emulator
Wang et al. Research on Code Virtualization Methods for Cloud Applications
Ben Asher et al. The effect of unrolling and inlining for Python bytecode optimizations
Garg et al. Just-in-time shape inference for array-based languages

Legal Events

Date Code Title Description
A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20150915

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20161005

A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20161005

RD04 Notification of resignation of power of attorney

Free format text: JAPANESE INTERMEDIATE CODE: A7424

Effective date: 20170214

A977 Report on retrieval

Free format text: JAPANESE INTERMEDIATE CODE: A971007

Effective date: 20171030

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20171114

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20180208

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20180712

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20180927

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20181002

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20181030

R150 Certificate of patent or registration of utility model

Ref document number: 6429785

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150

LAPS Cancellation because of no payment of annual fees