14.2.2019

Osnat Keren Senior Lecturer, Faculty of Engineering, Bar-Ilan University, Ramat-Gan, 52900, ISRAEL Tel: 972-3-531-7722 Fax: 972-3-7384050 Education:

BSc / M.Sc. in Electrical Engineering, Technion, Haifa, Israel, 1986/88. Ph.D. in Engineering, Tel Aviv University Israel, 1999.

Research interests:

Coding for computer systems. Circuit level countermeasures against side channel attacks. Coding for reliable and secure nano-computation channels. Spectral methods and their application in logic design and testing. Concurrent error detection and fault tolerant design. Decision diagrams optimization. Professional Experience:

Since April 2011 2004-2011

Senior Lecturer. Bar-Ilan University, Faculty of Engineering, Computer Engineering. - Leading research on hardware security related topics - Co-founder and MC member of the reliability and security lab. The lab

supports theoretical and experimental research activities at different abstraction levels from basic physics through circuit design up to system level.

- Co-founder and head of Cyber Attacks Research and Development (CARD) lab. The lab offers research, development and education activities for talented graduate and undergraduate students.

Lecturer. Bar-Ilan University, Engineering school, Computer Engineering.

2003-2004 M-Stream - voice processing expert (a start-up of six members, M-Stream was bought by Broadcom in 2004). In charge of development of enhanced full rate (EFR) and adaptive multi rate (AMR) frame level enhancement algorithms. A key component in M-Stream's combined source-channel decoding algorithms for improving frame error rate (FER) in cellular communication. The M-Stream solution provides a 4 to 6 dB signal/noise improvement under typical GSM network conditions. First of its kind; today the accepted technology at Broadcom, embedded in all its mobile-phones products.

1999-2003

Millimetrix Broadband Networks, Senior Scientist, head of the algorithms group. Responsible for development and analysis of DSP algorithms and coding schemes for 155-622 Mbps variable rate dual polarized RF modems at carrier frequencies of 18-38Ghz working in high interference environment. Millimetrix's Unity solution won the SUPERQuest Award for most promising backbone/edge technology (2002).

1998-99 Tel-Aviv University.

Academic head of the TA University and the Trade Ministry's retraining program for graduate students to Software and Communication engineering.

1997-98 Consultant to DSPGroup. CPU architecture and efficient implementation in HW of algorithms for arithmetic operations over finite fields. Developed new core instructions and efficient implementation of basic encoding/decoding operations for binary codes or codes over GF(2m) – Patented by DSPG ( see under patents).

1997-98 Consultant to Information Storage Devices (ISD). Real Time implementation of voice compression algorithms. Complexity analysis and performance estimation of real time voice recognition algorithm on ISD’s chip set.

1990-94 National Semiconductor, DSP group. Development and implementation of model-based Voice compression

algorithms with proprietary adaptive compression and encoding of the innovation signal.

Design of speech enhancement algorithm for compressed voice stored in a noisy/low quality storage device.

In charge of development of high intelligible voice compression algorithm suited for the Far-East market for which standard algorithms like GSM and CELP degrade.

1988-90 National Semiconductor, Chip logic design group. Design of the Swordfish-NS764 Floating Point (FP) modules; Design of Synchronization and scheduling mechanisms of two integer and single FP pipes of different depths that work in parallel.

Teaching Experience:

Discrete Mathematics for graduate students at Tel Aviv University Digital Logic Design for undergraduate students at Tel Aviv University, Ariel College, and Bar-

Ilan University Introduction to Coding Theory for undergraduate students at TAU-ITM, Ariel College, and Bar-

Ilan University Computer Architecture for undergraduate students at Bar-Ilan University Advanced Logic Design for undergraduate students at Bar-Ilan University Computer arithmetic for undergraduate and graduate students at Bar-Ilan University Spectral methods in logic design for graduate and graduate students at Bar-Ilan University Coding for computer systems for graduate students at Bar-Ilan University Advanced topics in design of reliable and secure systems for graduate students at Bar-Ilan

University Coding for reliable and secure hardware systems for undergraduate and graduate students at

Bar-Ilan University

MSc Students:

Yifat Manzor - Amalgamated Codes for Multi-Level Flash Memory, 2013. Yaara Neumeier - Robust Codes for Protection from Fault Attacks, 2013. Ariel Burg - Design and Functional Testing of Digital Systems with Unknown

Functionality, 2013.

Igor Shumsky - Security-Oriented Encoding of Robust Codes for Non-Uniformly Distributed Words, 2014.

**Nir Adamaty - Constructions of asymptotically optimal robust codes, 2016 *Dudi Sternberg - The effect of aging on the immunity of cryptographic modules against

power attacks (since 2014) Hilla Rabii – Security oriented codes *David Zooker – Optical fault injection *Yaniv Bodner - Pass Transistor Logic (PTL) for crypto core design Batya Karp – Hardware security (since 2017) *Maoz Vicentowski – Hardware security (since 2017) *Or Ohev Shalom – SNR Analysis in CPA attacks (since 2018) *Elkoni Matan – Side channel attacks and countermeasures (since 2018) Shai Yemini – Two dimensional fuzzy extractors and codes (since 2018)

PhD Students:

Yaara Neumeier - Codes For Reliable and Secure Hardware Systems *Itamar Levi - Increasing the Security of Hardware Designs against Side-Channel Attacks *Moshe Avital - Randomized Multi Topology Logic (RMTL) against Differential Power

Analysis * Supervision with Prof. Alex Fish, Faculty of Engineering, BIU ** Supervision with Prof. Simon Litsyn, School of Engineering, Tel-Aviv University Professional Awards: 2002 Millimetrix's Unity solution whose physical layer was developed by the research group headed by Osnat Keren, won the SUPERQuest Award for most promising backbone/edge technology.

Editing activities:

M. G. Karpovsky, R.S. Stankovic, J. T. Astola, "Spectral Logic and Its Applications for the Design of Digital Devices," John Wiley&Sons, 595 pages, 2008. (Critically reviewed the entire manuscript)

Guest editor, Special issue "Hardware Security" to be published in Journal of Low Power Electronics and Applications (2016).

Reviewer for Journals, Conferences and book chapters:

IEEE transactions on Computer Aided Design of Integrated Circuits and Systems IEEE Transactions on Computers IEEE Transactions on Emerging Topics in Computing IEEE Transactions on Information Theory IEEE Trans. on Circuits and Systems-I IEEE Trans. on Circuits and Systems-II IEEE Trans. on VLSI Journal of Circuits, Systems and Computers Multiple-valued Logic and Soft Computing Journal Microelectronics Journal IEEE International Symposium on Information Theory Design, Automation and Test in Europe (DATE) Reed-Muller Workshop Euromicro Conference on Digital System Design (DSD)

International Symposium on Multiple-Valued Logic IEEE International Symposium on Circuits and Systems (ISCAS) Progress in Representation of Boolean Functions, T. Sasao and J.T. Butler (ed.) International Workshop on Boolean Problems (program committee) OSADE'19: 10th International Workshop on Constructive Side-Channel Analysis and Secure Design 2019 (program committee)

Applications for competitive grants:

1. BSF application for the 2006 competition, "Spectral Methods for Implementation of Sequential Circuits by Decision Diagrams ," with M. Karpovsky from Boston University and I. Levin from Tel-Aviv University. Grade: 'very good and worth supporting'.

2. ISF application for the 2008 competition, "Split Multi-terminal Binary Decision Diagrams – New Data Structures in Logic Design," with I. Levin from Tel-Aviv University. Grade: 'very good'.

3. BSF application for the 2009 competition, "Robust codes for reliable and secure nano computation channels – the spectral approach," with M. Karpovsky from Boston University and I. Levin from Tel-Aviv University. Grade: 'very good and worth supporting'.

4. ISF application for the 2010 competition, "Cognitive-Inspired Design of Logic Networks," with I. Levin from Tel-Aviv University. Grade: 'very good'.

5. ISF application for the 2012 competition: "Coding for Secure and Reliable Asynchronous Communication in in System-on-Chips (SoCs)." ISF grant No. 1200/12 (4x183,000 NIS)

6. A. Fish and O. Keren, “Randomized Multi Topology Logic (RMTL) as countermeasure against Power Attacks”, KAMIN grant, Ministry of Economics, December 2013. (2x350,000 NIS)

7. MAGNETON application, "SOM-Security Oriented Memory", with Prof Alex Fish and Dolphin

Integration Ltd. Grant period 4.2016-3.2018, budget 3,064,000 NIS

8. ISF application for the 2016 competition: 923/16, "Reliable and Secure communication across asynchronous channels with arbitrary delays and glitches". Grant period 10.2016-9.2020,

300,000x4 NIS.

9. A. Fish and O. Keren, “Masking power consumption patterns at transistor level for hardware security", KAMIN grant, Ministry of Economics, December 2016. (2x400,000 NIS)

10. MAFAT, "Secure Hardware", with Prof. Alex Fish, 2017-2018, 500,000 NIS.

Patents:

1. E. Ofek and O. Keren, "Scalar product and parity check", United States Patent 6760880, filing Date 08.1999 publication date 06.2004

2. M. Avital, A. Fish, H. Dagan, O. Keren, "Multi-topology logic gates US patent No: 10,169,617, January 2019

3. M. Avital, I. Levi, A. Fish, O. Keren, "Randomized logic against side channel attacks", 24 January 2019, Publication No. US 2019-0028263

4. H. Rabii, Y. Neumeier, Y. Bodner, T. Sdika and O. Keren, "Separable robust coding", Provisional application 62/397,392, filling date 21-Sep-2016.

5. I. Levi, O. Keren, A.Fish, "Data-Dependent Delay circuits", Application no: US 15/636,902, June 2017.

6. Moshe Avital, Anatoli Mordakhay, Yoav Weizman, Alexander Fish, and Osnat Keren, “Compact Bit Generator”, Application No.: US 16/224,869, December 2018.

7. I. Levi, O. Keren, A.Fish, "Pseudo-Async design", PCT application No: PCT/IL2017/050732, June 2017.

8. R. Giterman, I. Levi, O. Keren, and A. Fish, “Secured memory”, PCT application No: PCT/IL2018/051338, December 2018.

9. A. Fish, O. Keren, Y. Weizman, "Information redistribution to reduce side channel leakage", PCT application No.: PCT/IL2019/050230, February 2019.

Organization of scientific conferences

1. Co-organizer, BIU-TSMC conference, 2018.

2. Co-organizer, BIU-IMEC conference, 2018.

3. Co-organizer, IEEEI Eilat 2018, Workshop on Emerging Circuits and Systems.

4. Organizer of special Session on Asynchronous Circuit Design for Security, 2nd IEEE International Verification and Security Workshop (IVSW), 2017

5. Co-organizer, BIU-IMEC conference, 2016

6. Co-organizer, Dagstuhl Seminar on "Hardware Security" Schloss Dagstuhl in Germany May 16 to May 20, 2016.

Membership in International organizations

• Management committee member in COST (European Cooperation in Science and Technology) Action IC1204 - Trustworthy Manufacturing and Utilization of Secure Devices.

• IEEE member

Osnat Keren - publications Thesis publications: Doctoral thesis: "Algebraic coding for computer systems", Tel-Aviv university, Supervisor: Prof. Simon Litsyn, 1999.

Master's thesis: "The capacity of discrete-time quadrature additive Gaussian channel (TD-QAGC) under minimum maximum and average power constraints", Technion, Supervisor: Prof. Shlomo Shamai (Shitz), 1988.

Papers in refereed journals: 1. O. Keren and S. Litsyn, "A class of array codes correcting multiple column erasures," IEEE Trans.

on Information Theory, Vol. 43, No. 6, pp. 1843-1851,1997.

2. O. Keren and S. Litsyn, "Codes correcting phased burst errors," IEEE Trans. On Information Theory, Vol. 44, No. 1, pp. 416-420, 1998.

3. O. Keren and S. Litsyn, "The number of solutions to a system of equations and spectra of codes," in the book “Finite Fields -Theory Applications and Algorithms," AMS, pp. 177-184. 1998.

4. O. Keren and S. Litsyn, "More on the distance distribution of BCH codes," IEEE Trans. on Information Theory, Vol. 45, No. 1, pp. 251-255, 1999.

5. O. Keren, "Efficient linear decomposition of multi output Boolean functions represented in SOP form," WSEAS transactions on circuits and systems, Vol. 5, No. 2, pp. 219-226, 2006.

6. V. Ostrovsky, I. Levin, O. Keren, B. Abramov, "Designing Concurrent Checking Circuits by using Partitioning," The International Journal of Highly Reliable Electronic System, Vol. 1, No.1, pp. 1-11, 2007.

7. I. Levin, O. Keren and V. Ostrovsky, "Synthesis of Sequential Circuits by using Linearization," Facta Universitatis, special issue on Binary and Multiple-Valued Switching Theory and Circuit Design, Vol. 20, No. 3, pp. 461-477, 2007.

8. O. Keren and I. Levin, "Linearization of Multi-Output Logic Functions by Ordering of the Autocorrelation Values," Facta Universitatis, special issue on Binary and Multiple-Valued Switching Theory and Circuit Design, Vol. 20, No. 3, pp. 479-498, 2007.

9. O. Keren, "Reduction of Average Path Length in Binary Decision Diagrams by Spectral Methods," IEEE Transactions on Computers, Vol. 57, No. 4, pp. 520-531, 2008.

10. B. Abramov, O. Keren, I. Levin and V. Ostrovsky, "Constructing Self-testing Circuits with the Use of Step-by-step (Cascade) Control," Automation and Remote Control, Vol. 70, No. 7, pp. 1217–1227, 2009.

11. O. Keren, I. Levin and R. S. Stankovic, "Use of Gray Coding for Implementation of Symmetric Functions," VLSI-SoC: Advanced Topics on Systems on Chip, Series: Advances in Information and Communication Technology, Vol. 291, Ricardo Reis, Vincent Mooney, Paul Hasler (Eds.) Springer, 2009, pp. 17-32. (Compendium of New Refereed Papers)

12. O. Keren, "One-to-many: Context-Oriented Code for Concurrent Error Detection," JETTA-Journal of Electronic Testing: Theory and Applications, Vol. 26 No.3, pp. 337-353, 2010.

13. O. Keren, I. Levin, R. S. Stankovic, "Minimization of the Number of Paths in Binary Decision Diagrams by Using Autocorrelation Coefficients," IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, Vol. 30, No. 1, pp. 31-44, 2011.

14. O. Keren, I. Levin and R. S. Stankovic, "A Technique for Linearization of Logic Functions Defined by Disjoint Cubes. I. – Theoretical aspects," Automation and Remote Control, Vol. 72, No. 3, pp 615-625, 2011.

15. O. Keren, I. Levin and R. S. Stankovic, "A Technique for Linearization of Logic Functions Defined by Disjoint Cubes. II. – Algorithmic Aspects," Automation and Remote Control, Vol. 72, No. 4, pp 818–827, 2011.

16. S. Engelberg, O. Keren, "A Comment on the Karpovsky-Taubin Code," IEEE Trans. on Information Theory, Vol. 57, No. 12, pp. 8007-8010, 2011.

17. S. Engelberg, O. Keren, "An Introduction to Robust Codes over Finite Fields," Society for Industrial and Applied Mathematics (SIAM) Review, Vol. 55, No. 4, pp. 751–763, 2013.

18. I. Levin, O. Keren, "Generalized If-Then-Else Operator for Representation of Multi Output Functions," Mathematical Problems in Engineering, vol. 2013, Article ID 401616, 13 pages, 2013. doi:10.1155/2013/401616.

19. A. Burg and O. Keren , "Universal Hardware for Systems with Acceptable Representations as Low Order Polynomials", IEEE transactions on circuits and systems I, 61-I(10), pp. 2878-2887, 2014.

20. A. Burg and O. Keren, "On the Efficiency of Berger Codes against Error Injection Attacks on Parallel Asynchronous Communication Channels", Information Security Journal: A Global Perspective. Special issue on Trustworthy Manufacturing and Utilization, Vol. 22, No. 5-6, pp. 208-215, 2013. Published on-line 2014.

21. I. Shumsky and O. Keren, " Enhancement of Hardware Security by Hamming Ball Based State Assignment", Information Security Journal: A Global Perspective. Special issue on Trustworthy Manufacturing and Utilization, Vol. 22, No. 5-6, pp. 208-215, 2013. Published on-line 2014.

22. I. Levin, O. Keren , V. Sinelnikov, "Improving Hardware Security by Using Hidden Information of Computer systems", JNIT: Journal of Next Generation Information Technology, Vol. 4, No. 6, pp. 108- 117, 2013.

23. Y. Neumeier, O. Keren, "Robust Generalized Punctured Cubic Codes", IEEE Trans. on Information theory, Vol. 60, No. 5, pp. 1-10, May 2014.

24. A. Burg, O. Keren, I. Levin, "Blind Testing of Polynomials by Linear Checks", Recent Progress in the Boolean Domain, Edited by Bernd Steinbach, Cambridge Scholars Publishing, pp. 322-346, April 2014.

25. I. Levin, G. Shafat, H. Rosensweig, O.Keren, "Perceptions in Learning Boolean concepts", Recent Progress in the Boolean Domain, Edited by Bernd Steinbach, Cambridge Scholars Publishing, pp. 145-157, 2014.

26. M. Avital, H. Dagan, I. Levi, O. Keren, and A. Fish, “DPA-Secured Quasi-Adiabatic Logic (SQAL) for Low-Power Passive RFID Tags", IEEE Trans. on Circuits and Systems-I, Vol. 62, No.1, pp. 149-156, 2015.

27. M. Avital, H. Dagan, O. Keren, A. Fish, "Randomized Multi topology Logic Against Differential Power Analysis", IEEE Trans. VLSI Syst. 23(4), pp. 702-711, 2015.

28. O. Keren and M. Karpovsky, "Relations between the Entropy of a Source and the Error Masking Probability for Security Oriented Codes", IEEE trans. On Communications , Vol. 63, No. 1, pp. 206-214, 2015.

29. I. Levi, O. Keren, A. Fish, "Data-Dependent Delays as a Barrier Against Power Attacks", IEEE Trans. on Circuits and Systems-I , Vol. 62, No. 8, pp. 2269-2278, 2015.

30. Y. Neumeier, Y. Pesso and O. Keren, " Efficient Implementation of Punctured Parallel Finite Field Multipliers", IEEE Trans. on Circuits and Systems-I , Vol. 62, No. 9, pp. 2260-2267, 2015.

31. A. Sharon Shetrit, Y. Murin, R. Dabora, O. Keren, "A New Approach to UEP-HARQ via Convolutional Codes", IEEE Communications Letters, 19(12), pp. 2062-2065, 2015.

32. M. Avital, I. Levi, O. Keren, and A. Fish, “CMOS based Gates for Blurring Power Information ", IEEE Trans. on Circuits and Systems-I , 63-I(7), pp. 1033-1042 , 2016.

33. S. Engelberg, O. Keren, "Reliable Communications across Parallel Asynchronous Channels with Arbitrary Skews," IEEE Trans. on Information Theory, Vol. 63 No. 2, pp. 1120-1129, 2017.

34. I. Levi, A. Fish, O. Keren " CPA Secured Data-Dependent Delay-Assignment Methodology ", IEEE Trans. on Circuits and Systems-I , March 2016, Vol. 25 No. 2, pp. 608-620, 2017.

35. I. Levi, N. Miller, E. Avni, O. Keren and A. Fish, "A Survey of the Sensitivities of Security Oriented Flip-Flop Circuits", IEEE Access, Vol. 5, pp. 24797-24809, 2017.

36. H. Rabii, Y. Neumeier and O. Keren, "Low Complexity High Rate Robust Codes", Further

Improvements in the Boolean Domain, Edited by Bernd Steinbach, Cambridge Scholars

Publishing, pp. 303-313, 2017.

37. H. Rabii, Y. Neumeier and O. Keren, "High rate robust codes with low implementation complexity", IEEE-Transactions on Dependable and Secure Computing, SI-Emerging Attacks and Solutions for Secure Hardware in the Internet of Things August 2017. DOI: 10.1109/TDSC.2018.2816638.

38. I. Levi, O. Keren and A. Fish, "Low-Cost Pseudo-Asynchronous Circuit Design Style with Reduced

Exploitable Side-Information", IEEE Transactions on Very Large Scale Integration (VLSI) Systems, No. 99, pp. 1-14, 2018.

39. S. Engelberg, O. Keren, "Error-Correcting Codes for Ternary Content Addressable Memories: a New Perspective". Information and Control Systems, no. 1, pp. 68–73, 2018. doi:10.15217/issn1684-8853.2018.1.68

40. R. Giterman, M. Vicentowski, I. Levi, Y. Weizman, O. Keren, and A. Fish, "Leakage Power Attack-Resilient Symmetrical 8T SRAM Cell", IEEE Transactions on Very Large Scale Integration Systems, 2018. Vol. 26, pp. 2180-2184, Oct. 2018. doi: 10.1109/TVLSI.2018.2840132

41. H. Rabii and O. Keren, "A New Class of Security Oriented Error Correcting Robust Codes", Cryptography and Communications, DOI 10.1007/s12095-018-0340-3, 2018.

42. Y. Shifman, A. Miller, O. Keren, Y. Weizmann and J. Shor, "A Method to Improve Reliability in a 65nm SRAM PUF Array", IEEE Solid-State Circuits Letters, DOI: 10.1109/LSSC.2018.2879216, 2018.

43. R. Giterman, O. Keren, and A. Fish, " A 7T Security Oriented SRAM Bitcell", IEEE Transactions on

Circuits and Systems II: Express Briefs, 2018. Digital Object Identifier:

10.1109/TCSII.2018.2886175.

Papers in refereed proceedings: 1. O. Keren and S. Litsyn, “MDS codes correcting erasures," The 2nd Mediterranean workshop on

Coding and Information Integrity, Palma de Mallorca, Spain, 1996.

2. O. Keren and S. Litsyn, “A class of array codes correcting multiple column erasures," the 19th Convention of Electrical and Electronics Engineers in Israel. Jerusalem, Israel, pp. 336-339, 1996.

3. O. Keren and S. Litsyn, “Codes correcting phased burst errors," IEEE Information theory workshop, Longyearbyen, Norway, 1997.

4. O. Keren and S. Litsyn, “On spectra of BCH codes," The 3rd Mediterranean workshop on coding and information integrity, Ein Boqeq, Israel, 1997.

5. O. Keren and S. Litsyn, “On the distance distribution of BCH codes," IEEE International Symposium on Information Theory, MIT, Cambridge, MA USA, p.463, 1998.

6. O. Keren and S. Litsyn, "A lower bound on the probability of decoding error over a BSC channel," The 21st IEEE Electrical and Electronic Engineers in Israel, pp. 271-273, 2000.

7. O. Keren, "Low Complexity Linear Decomposition at the Disjoint Cubes Domain," WSEAS

International Conference on Electronics, Hardware, Wireless and Optical Communications, Madrid, Spain, pp. 176-181, 2006.

8. I. Levin, O. Keren, G. Kolotov, M. Karpovsky, "Piecewise linearization of logic functions," Proc. of the 2006 International Workshop on Spectral Methods and Multirate Signal Processing, pp. 345-353, 2006.

9. O. Keren, I. Levin R. S. Stankovic, "Reduction of the Number of Paths in Binary Decision Diagrams by Linear Transformation of Variables" , Proc. of the 7th International Workshop on Boolean Problems, Freiberg, Germany, pp. 79-84, 2006.

10. I. Levin, V. Ostrovsky, O. Keren, V. Sinelnikov, "Cascade Scheme for Concurrent Errors Detection," The 9th EUROMICRO Conference on Digital System Design DSD'06), Dubrovnik, Croatia, pp. 359-368, 2006.

11. O. Keren, I. Levin R. S. Stankovic, "Linearization of Functions Represented as a Set of Disjoint Cubes at the Autocorrelation Domain," Proc. of the 7th International Workshop on Boolean Problems, Freiberg, Germany, pp. 137-144, 2006.

12. I. Levin, O. Keren, V. Ostrovsky, G. Kolotov, "Concurrent Decomposition of Multi-terminal BDDs," The 7th International Workshop on Boolean Problems, Freiberg, Germany, pp. 129-136, 2006.

13. O. Keren, I. Levin, R. S. Stankovic, “Use of Gray Decoding for Implementation of Symmetric Functions,” Proc of the VLSI-SoC 2007, Atlanta U.S.A. pp.25-30, 2007.

14. O. Keren, I. Levin, M. Karpovsky, "Non-redundant Scheme for Arbitrary Error Detection in Combinational Circuits," IFIP/IEEE VLSI-SoC - International Conference on Very Large Scale Integration, Rhodes, pp. 575-580, 2008.

15. V. Ostrovsky, O. Keren, I. Levin, "Designing of QCA Schemes by Boundary Functions," 8th International Workshop on Boolean Problems, Freiberg, Germany, pp. 67-73, 2008.

16. I. Levin, O. Keren, "Split Multi-terminal Binary Decision Diagrams," The 8th International Workshop on Boolean Problems, Freiberg, Germany, pp. 161-167, 2008.

17. O. Keren, I. Levin, V. Ostrovsky, and B. Abramov, "Arbitrary Error Detection in Combinational Circuits by using Partitioning," The 23rd IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT'08), Cambridge, pp. 361-369, 2008.

18. V. Ostrovsky, O. Keren, I. Levin, "Programmable Comparators Based Array for Regular QCA Implementation," International Workshop on Design and Test of Nano Devices, Circuits and Systems (IEEE NDCS'08), Cambridge, pp. 39-42, 2008.

19. S. Baranov, I. Levin, O. Keren, and M. Karpovsky, "Designing Fault Tolerant FSM by Nano-PLA," IEEE International On-Line Testing Symposium. (IOLTS 2009), Sesimbra-Lisbon, Portugal, 229-234, 2009.

20. O. Keren, I. Levin, and M. Karpovsky, "Duplication Based One-to-many Coding for Trojan HW Detection," IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT'10), pp. 160-166, 2010.

21. I. Levin, O. Keren, "Transforming FSMs for Synthesis by Fault Tolerant Nano-PLAs," 9th International Workshop on Boolean Problems, Freiberg, Germany, pp. 75-82, 2010.

22. O. Keren, "Adaptive Hardware Based on the Inverse Walsh Transform," Reed-Muller workshop, Finland, pp. 21-26, 2011.

23. O. Keren, I. Levin, V. Sinelnikov, "Detection of Trojan HW by using hidden information on the system," IEEE International On-Line Testing Symposium. (IOLTS 2011), Athens, Greece, pp. 194-195, 2011.

24. I. Levin, O. Keren, "Generalized If-Then-Else Operator for Compact Polynomial Representation of Multi Output Functions," The 14th EUROMICRO Conference on Digital System Design (DSD'11), Oulu, Finland, pp. 15-20, 2011. 2011.

25. Y. Neumeier, O. Keren, '' Punctuated Karpovsky-Taubin Binary Robust Error Detecting Codes for Cryptographic Devices,'' IEEE International On-Line Testing Symposium, Sitges, Spain, pp. 156-161, 2012.

26. A. Burg, O. Keren, ''Functional Level Embedded Self-Testing for Walsh Transform Based Adaptive Hardware'' , IEEE International On-Line Testing Symposium, Sitges, Spain, pp. 134-135, 2012.

27. I. Levin, O. Keren, H. Rosensweig, "Concept of Non-exactness in Science Education", New Perspective for Science Education, Florence, Italy, March 2012.

28. I. Levin, G. Shafat, O. Keren, "Cognitive Complexity of Boolean Problems", 10th International Workshop on Boolean Problems, pp. 171-176, Freiberg, Germany, 2012

29. A. Burg, O. Keren, I. Levin," Functional Testing of Boolean Systems with Unknown Functionality", 10th International Workshop on Boolean Problems, Freiberg, pp. 25-32, Germany, 2012 .

30. Y. Manzor, O. Keren, "Amalgamated Codes for Flash Memories", IEEE International

Symposium on Defect and Fault Tolerance in VLSI Systems (DFT'12), Texas, pp. 98-103, 2012.

31. N. Admaty, S. Litsyn and O. Keren, "Puncturing, Expurgating and Expanding the q-ary BCH Based Robust Codes", IEEE 27th Convention of Electrical & Electronics Engineers in Israel (IEEEI 2012), Israel, pp. 1-5, 2012.

32. I. Shumsky, O. Keren and M. Karpovsky, "Robustness of Security-Oriented Binary Codes Under Non-Uniform Distribution of Codewords", Dependable Computing and Communications Symposium at the International Conference on Dependable Systems and Networks, DSN-DCCS, Barcelona, Spain, pp. 25-30, August 2013.

33. I. Shumsky and O. Keren, "Security-Oriented State Assignment", the 1st Workshop on Trustworthy Manufacturing and Utilization of Secure Devices (TRUDEVICE), Avignon, France, May 2013.

34. A. Burg and O. Keren, "On the Robustness of Berger Codes Against Error Injection Attacks", the 1st Workshop on Trustworthy Manufacturing and Utilization of Secure Devices (TRUDEVICE), Avignon, France , May 2013.

35. Y. Neumeier, O. Keren, “A New Efficiency Criterion for Security Oriented Error Correcting Codes”, 19th IEEE European Test Symposium, Germany, pp. 1-6, May 2014.

36. V. Tomashevich, Y. Neumeier, R. Kumar, O. Keren and I. Polian, "Protecting Cryptographic Hardware against Malicious Attacks by Nonlinear Robust Codes", The IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT'14), Amsterdam, pp. 40-45, October 2014.

37. S. Engelberg and O. Keren, "Zero-Latency Zero-Error Codes for Parallel Asynchronous Channels with Arbitrary Skews" , IEEE Information Theory Workshop (ITW), Israel, pp. 1-4, 2015.

38. Y. Neumeier, O. Keren, "Expurgated Codes for Detecting Jamming in q-ary Memories", The Ninth International Conference on Dependability, DEPEND, Nice, France 2016.

39. H. Rabii, Y. Neumeier and O. Keren, "Low Complexity High Rate Robust Codes Derived from the Quadratic-Sum Code", International Workshop on Boolean Problems (IWBP), pp- 67-74, Freiberg, Germany, 2016.

40. H. Rabii, Y. Neumeier and O. Keren, "Low Complexity High Rate Robust Codes", TRUDEVICE workshop, Barcelona, Nov. 2016.

41. B. Karp, Y. Berkowitz, and O. Keren, "Jamming Resistant Encoding For Non-Uniformly Distributed Information", IEEE 23rd International Symposium on On-Line Testing and Robust System Design (IOLTS), pp. 169-173, Thessaloniki, Greece, 2017.

42. S. Engelberg and O. Keren, "Reliable Communication across Parallel Asynchronous Channels with Glitches", 5th International Castle Meeting on Coding Theory and Applications, 5ICMCTA, pp. 93-106, Vihula Manor, Estonia, August 2017.

43. H. Rabii and O. Keren, "A New Construction of Minimum Distance Robust Codes",5th International Castle Meeting on Coding Theory and Applications, 5ICMCTA, pp. 272 282, Vihula Manor, Estonia, August 2017.

44. David Z. Zooker, Maoz Wicentowski, Yoav Weizman, Alexander Fish, and Osnat Keren, "Vulnerability of Secured IoT Memory Against Localized Back Side Laser Fault Injection", Seventh IEEE International Conference on Emerging Security Technologies – EST, pp. 7-11, Canterbury, UK, 2017.

45. Batya Karp, Mael Gay, Osnat Keren, Ilia Polian, "Security-oriented Code-based Architectures for Mitigating Fault Attacks", Design of Circuits and Integrated Systems (DCIS), Lyon, 14th-16th November 2018.

46. Batya Karp, Mael Gay, Osnat Keren, Ilia Polian, "Detection and Correction of Malicious and Natural Faults", The 7th International Workshop on Security Proofs for Embedded Systems (PROOFS), Amsterdam, September 13th, 2018.

47. Robert Giterman, Osnat Keren, and Alexander Fish, "Improving the Security of a 6T SRAM using Body-Biasing in 28 nm FD-SOI", the 2018 IEEE S3S Conference, October 2018.

Other publications:

48. O. Keren and I. Levin "Linearization of the Logic Functions Defined in SOP Form," UROMICRO SEAA / DSD 2005, Porto (Portugal), work in progress, 2005.

49. B. Abramov, O. Keren, I. Levin, "Teaching Cognitive-Inspired Design of Sequential Circuits," The 8th European Workshop on Microelectronics Education, Darmstadt, Germany, 2010.

50. O. Keren, I. Levin, "Transforming Fault Tolerant Implementation of FSMs by Dense Nano-PLA," IEEE East-West Design & Test Symposium (EWDTS), 2010.

51. S. Engelberg and O. Keren, "Upper Bound on the Rate of Zero-Error Codes for Secure Asynchronous Communication", Trustworthy Manufacturing and Utilization of Secure Devices workshop, Freiburg, Dec. 2013. (poster)

52. Y. Neumeier and O. Keren, "A New Efficiency Criterion for Error Correcting Robust codes", Trustworthy Manufacturing and Utilization of Secure Devices workshop, Freiburg, Dec. 2013. (poster)

53. Y. Pesso, Y. Neumeier and O. Keren, "Efficient Implementation of Checkers for Punctured Cubic Codes", Trustworthy Manufacturing and Utilization of Secure Devices workshop, Freiburg, Dec. 2013.

54. O. Keren, "Security Oriented Codes", IEEE 28th Convention of Electrical & Electronics Engineers in Israel (IEEEI 2014). (Invited talk.)

55. M. Haber, B. Frankel, M. Avital, I. Levi, O. Keren and A. Fish, "Practical design-knobs while performing Power Analysis", TRUDEVICE 2014.

56. N. Sklavos, J. C. Resende, R. Chaves, F. Regazzoni, O. Keren, "Efficiency of Cryptography for Multi-Algorithm Computation on Dedicated Structures", International Conference on Modern Circuits and Systems Technologies 2015 (MOCAST'15), Thessaloniki, Greece; 05/2015. (Invited paper.)

57. Y. Neumeier and O. Keren, "Protecting Multilevel Memories from Fault Attacks Using Robust Codes", TRUDEVICE 2015 (poster).

58. O. Keren, "Security oriented codes: attacks and countermeasures", Schloss Dagstuhl on "Hardware Security", Germany May 16 to May 20, 2016.

59. I. Levi, O. Keren, A.Fish, " Data-Dependent Delays As a Barrier Against Power Attacks", TCAS Special: Cryptography & Security II Session, IEEE International symposium on circuits and systems, ISCAS 2016, May 22-25, Montreal, Canada, 2016.

60. M. Avital, H. Dagan, O. Keren, A. Fish, "Randomized Multi-Topology Logic Against Differential Power Analysis", TCAS Special: Cryptography & Security II Session, IEEE International symposium on circuits and systems, ISCAS 2016, May 22-25, Montreal, Canada, 2016.

61. M. Avital, H. Dagan, I. Levi, O. Keren, A. Fish, "DPA-Secured Quasi-Adiabatic Logic (SQAL) for Low-Power Passive RFID Tags Employing S-Boxes", TCAS Special: Cryptography & Security II Session, IEEE International symposium on circuits and systems, ISCAS 2016, May 22-25, Baltimore,USA.

62. Osnat Keren, Ilia Polian, Mark M. Tehranipoor, Hardware Security (Dagstuhl Seminar 16202). Dagstuhl Reports 6(5), pp. 72-93. 2016.

63. M. Avital, A. Fish and O. Keren, " From Full-Custom to Fully-Standard Cell Power Analysis Countermeasures", TRUDEVICE workshop, Barcelona, Nov. 2016.

64. Y. Weizman, B. Karp and O. Keren, "Modeling SRAM cell stability for randomness evaluation of PUF cells", TRUDEVICE workshop, Barcelona, Nov. 2016.

65. Y. Neumeier and O. Keren, "Robust Error Detecting Codes for Detecting Fault Injections in Multilevel Memories", TRUDEVICE workshop, Barcelona, Nov. 2016.

66. S. Engelberg and O. Keren, "Trustworthy Communications across Parallel Asynchronous Channels with Glitches", TRUDEVICE workshop, Barcelona, Nov. 2016.

67. Y. Neumeier and O. Keren, "Robust Error Detecting Codes for Multilevel Memories", international conference on the science of electrical engineering (ICSEE) ,Nov. 2016.

68. I. Levi, O. Keren, and A. Fish, "CPA Secured Data-Dependent Delay-Assignment Methodology", to be presented, IEEE International Symposium on Circuits and Systems (ISCAS), Baltimore MD, USA, 2017. (Invited talk)

69. M. Avital, I. Levi, O. Keren, and A. Fish, "CMOS Based Gates for Blurring Power Information", to be presented, IEEE International Symposium on Circuits and Systems (ISCAS), Baltimore MD, USA, 2017. (Invited talk)

70. I. Levi, O. Keren, and A. Fish, "Hardware Security- New Concepts in Side-Channel-Analysis Immunity", CHIPEX2017, May 2017, Israel. (Invited talk)

71. I. Levi, A. Fish and O. Keren, "Security Aware Pseudo-Asynchronous Circuit Design Style", 2nd International Verification and Security Workshop (IVSW), Thessaloniki Greece, July 2017. (Invited talk)

72. David Zooker Zabib, Itamar Levi, Alexander Fish, Osnat Keren, "Secured Dual-Rail-Precharge Mux-Based (DPMUX) Symmetric-Logic for Low Voltage Applications", the 2017 IEEE S3S Conference, October 2017.

73. Hila Rabii, Yaara Neumeier and Osnat Keren, "Compact Protection Codes", ISVW 2018, Costa-Brava, July 2018.

74. Mael Gay, Batya Karp, Osnat Keren, Ilia Polian, " On Security Metrics for Evaluating Fault-injection Countermeasures", TRUDEVICE, March 2018.

75. Itamar Levi, Yehuda Rudin, Alexander Fish, and Osnat Keren, "Embedded Randomness and Data Dependencies Design Paradigm: Advantages and Challenges", DATE 2018, pp. 395-400,

Dresden, Germany, March 2018. (Invited talk)

76. Giorgio Di Natale and Osnat Keren, "Nonlinear Codes for Control Flow Checking", TRUDEVICE, March 2018.

77. Moshe Avital, Anatoli Mordakhay, David Zooker Zabib, Yoav Weizman, Alexander Fish and Osnat Keren, "Utilization of Process and Supply Voltage Random Variations for Random Bit Generation", the IEEE Asia Pacific Conference on Circuits and Systems (APCCAS 2018), China, 2018.