MX2015005621A - Compilador libre de operadores. - Google Patents

Compilador libre de operadores.

Info

Publication number
MX2015005621A
MX2015005621A MX2015005621A MX2015005621A MX2015005621A MX 2015005621 A MX2015005621 A MX 2015005621A MX 2015005621 A MX2015005621 A MX 2015005621A MX 2015005621 A MX2015005621 A MX 2015005621A MX 2015005621 A MX2015005621 A MX 2015005621A
Authority
MX
Mexico
Prior art keywords
computer program
tables
compiler
expression
generated
Prior art date
Application number
MX2015005621A
Other languages
English (en)
Spanish (es)
Inventor
Paulus Mathias Hubertus Mechtildis Antoni Gorissen
Mina Deng
Ludovicos Marinus Gerardus Maria Tolhuizen
Wilhelmus Petrus Adrianus Johannus Michiels
Wicher Ido-Jan Gispen
Constant Paul Marie Jozef Baggen
Original Assignee
Koninkl 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=MX2015005621(A) "Global patent litigation dataset” by Darts-ip is licensed under a Creative Commons Attribution 4.0 International License.
Application filed by Koninkl Philips Nv filed Critical Koninkl Philips Nv
Publication of MX2015005621A publication Critical patent/MX2015005621A/es

Links

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
    • 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
    • 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/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)
MX2015005621A 2012-11-07 2013-10-30 Compilador libre de operadores. MX2015005621A (es)

Applications Claiming Priority (3)

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

Publications (1)

Publication Number Publication Date
MX2015005621A true MX2015005621A (es) 2015-08-20

Family

ID=47757443

Family Applications (1)

Application Number Title Priority Date Filing Date
MX2015005621A MX2015005621A (es) 2012-11-07 2013-10-30 Compilador libre de operadores.

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
JP6429785B2 (ja) 2018-11-28
RU2015121749A (ru) 2016-12-27
BR112015010016A2 (pt) 2017-07-11

Similar Documents

Publication Publication Date Title
US9921813B2 (en) Compiler generating operator free code
Borrello et al. Constantine: Automatic side-channel resistance using efficient control and data flow linearization
JP5643894B2 (ja) サイドチャネル攻撃および反復起動攻撃に耐える動的可変タイミング演算パスのシステムおよび方法
Homescu et al. Profile-guided automated software diversity
US8429637B2 (en) System and method for conditional expansion obfuscation
Van Cleemput et al. Adaptive compiler strategies for mitigating timing side channel attacks
EP3759590B1 (en) Compiling device and method
JP6300796B2 (ja) 算術及び論理ユニットを伴わないコンピュータプロセッサ及びシステム
CN104798075A (zh) 应用随机化
MX2015006158A (es) Dispositivo de computo configurado con una red de tablas.
Couroussé et al. Runtime code polymorphism as a protection against side channel attacks
JP2021530057A (ja) マスク関数を用いるコンパイラデバイス
Agosta et al. A multiple equivalent execution trace approach to secure cryptographic embedded software
Deo et al. Performance and metrics analysis between python3 via mojo
Wang et al. An efficient control-flow based obfuscator for micropython bytecode
Fu et al. Efficient and retargetable SIMD translation in a dynamic binary translator
Wang et al. Research on Code Virtualization Methods for Cloud Applications
Mood et al. PAL: A pseudo assembly language for optimizing secure function evaluation in mobile devices
Song et al. Code obfuscation protection strategies for program running states
Dunaev et al. A method of machine code translation to intermediate representation
Lin et al. Vector data flow analysis for SIMD optimizations on OpenCL programs
Jantz et al. Analyzing and addressing false interactions during compiler optimization phase ordering
Talbot et al. Just-in-time length specialization of dynamic vector code
Salamy et al. An ILP solution to address code generation for embedded applications on digital signal processors
Fedler et al. ISA R: Improving Software Attack and Analysis Resilience via Compiler-Level Software Diversity

Legal Events

Date Code Title Description
FA Abandonment or withdrawal