{"id":15,"date":"2020-04-20T15:59:50","date_gmt":"2020-04-20T19:59:50","guid":{"rendered":"https:\/\/carleton.ca\/mtaha\/?page_id=15"},"modified":"2026-08-05T08:08:35","modified_gmt":"2026-08-05T12:08:35","slug":"research","status":"publish","type":"page","link":"https:\/\/carleton.ca\/mtaha\/research\/","title":{"rendered":"Research"},"content":{"rendered":"\n<section class=\"w-screen px-6 cu-section cu-section--white ml-offset-center md:px-8 lg:px-14\">\n    <div class=\"space-y-6 cu-max-w-child-5xl  md:space-y-10 cu-prose-first-last\">\n\n            <div class=\"cu-textmedia flex flex-col lg:flex-row mx-auto gap-6 md:gap-10 my-6 md:my-12 first:mt-0 max-w-5xl\">\n        <div class=\"justify-start cu-textmedia-content cu-prose-first-last\" style=\"flex: 0 0 100%;\">\n            <header class=\"font-light prose-xl cu-pageheader md:prose-2xl cu-component-updated cu-prose-first-last\">\n                                    <h1 class=\"cu-prose-first-last font-semibold !mt-2 mb-4 md:mb-6 relative after:absolute after:h-px after:bottom-0 after:bg-cu-red after:left-px text-3xl md:text-4xl lg:text-5xl lg:leading-[3.5rem] pb-5 after:w-10 text-cu-black-700 not-prose\">\n                        Research\n                    <\/h1>\n                \n                                \n                            <\/header>\n\n                    <\/div>\n\n            <\/div>\n\n    <\/div>\n<\/section>\n\n\n\n<p class=\"wp-block-paragraph\">As embedded systems are being massively deployed in the automotive industry, intelligent healthcare, Internet-of-Things (IoT) and smart infrastructure, developing security-aware designs became a vital research area. These systems are not only highly-constrained design environments, but are also vulnerable to implementation attacks. Implementation attacks are practical attacks that target the underlying implementation of a cryptographic algorithm rather than its mathematical foundation. The power consumption, electromagnetic radiation, execution time and response to injected faults are side-channel outputs that can leak information about the internal secret key, an attack that is commonly called Side-Channel Analysis (SCA). SCA is a passive, noninvasive attack that can not be detected by the underlying system (other than fault injection, which is active) and can break an AES implementation after a single execution.\u00a0 For instance, an adversary can apply SCA over a legitimate sensor or control unit that he owns in order to reveal the secret key used for communication. Then, he can put this sensor in a target system in order to cause physical damage.<\/p>\n\n\n\n<h3 id=\"lr-keymill-a-new-crypto-structures-with-inherent-security-against-sca\" class=\"wp-block-heading\"><strong>LR-Keymill: a new crypto structures with inherent security against SCA<\/strong><\/h3>\n\n\n\n\n\n\n\n<figure class=\"wp-block-image size-large\"><img decoding=\"async\" role=\"none\" src=\"https:\/\/sites.google.com\/a\/vt.edu\/mtaha\/_\/rsrc\/1498754712528\/research\/Keymill_2.png\" alt=\"\"\/><\/figure>\n\n\n\n<h3 id=\"attacking-block-ciphers\" class=\"wp-block-heading\">Attacking Block-Ciphers:<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">In the crypto community, it is widely acknowledged that any cryptographic scheme that is built with no special countermeasure against side-channel attacks (SCA) can be easily broken. Our new research challenges this intuition. Lets introduce LR-Keymill.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">LR-Keymill, or Leakage Resilient Keymill, is an SCA-secured keystream generator. It accepts 128-bits of secret key and 128-bits of Initialization Vector (IV) to generate a pseudorandom binary output stream of any length. LR-Keymill consists of four NLFSRs where the feedback functions are connected together through a rotating cross-connect, as shown in the figure. The rotating cross-connect mixes the feedback functions, so that, the internal state of any register depends on the internal state of all the other register. More details about LR-Keymill can be found in these two papers,&nbsp;<a href=\"http:\/\/eprint.iacr.org\/2016\/710\" target=\"_blank\" rel=\"noreferrer noopener\">here<\/a>&nbsp;and&nbsp;<a href=\"http:\/\/ieeexplore.ieee.org\/abstract\/document\/7951798\/\" target=\"_blank\" rel=\"noreferrer noopener\">here<\/a>.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">LR-Keymill is secured against passive SCA attacks without incorporating any special SCA countermeasures. The reason for this claim is that (very briefly), for every secret key, there is a large set of other keys that generate the exact same power signature, mandating a post-attack search phase with large time-complexity. On average, the required time-complexity after an SCA attack against the LR-Keymill is 67.9 bits. This time-complexity exceeds the birthday-boundary of AES (64 bits), and is considered safe for practical applications.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">More details and the security proofs can be found&nbsp;<a href=\"http:\/\/eprint.iacr.org\/2016\/710\" target=\"_blank\" rel=\"noreferrer noopener\">here<\/a>&nbsp;and&nbsp;<a href=\"http:\/\/ieeexplore.ieee.org\/abstract\/document\/7951798\/\" target=\"_blank\" rel=\"noreferrer noopener\">here<\/a>.<\/p>\n\n\n\n<h2 id=\"previous-work\" class=\"wp-block-heading\"><a><\/a>Previous Work<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Some of my previous research can be captured in this diagram:<\/p>\n\n\n\n<figure class=\"wp-block-image size-large\"><img decoding=\"async\" role=\"none\" src=\"https:\/\/sites.google.com\/a\/vt.edu\/mtaha\/_\/rsrc\/1498763274279\/research\/My_Work.png\" alt=\"\"\/><\/figure>\n\n\n\n\n\n\n\n<h3 id=\"attacking-block-ciphers\" class=\"wp-block-heading\">Attacking Block-Ciphers:<\/h3>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Power Attacks:\u00a0We exploited the power consumption of a parallel AES core on SASEBO-GII, and the results were presented at ICCD\u201912. Also, we exploited the smallest implementation of Simon, and the results were presented at HOST\u201915.<\/li>\n\n\n\n<li>Electromagnetic Attacks:\u00a0We expolited the electromagnetic leakage of an AES core on Nios-II processor. The results were presented at FPL\u201912.<\/li>\n\n\n\n<li>Fault Attacks:\u00a0We proposed a new concept for mounting Differential Fault Attacks. This attack combines the principles of Differential Power Analysis with Fault Injection attacks. The results were presented at FDTC\u201914.<br>This paper was cited 82 times and later lead to a\u00a0<strong>$307K NSF project<\/strong>\u00a0\u2018<a href=\"https:\/\/www.nsf.gov\/awardsearch\/showAward?AWD_ID=1441710\" target=\"_blank\" rel=\"noreferrer noopener\">FAME: Fault-attack Awareness using Microprocessor Enhancements<\/a>\u2019, Award Number: 1441710, PI: P. Schaumont.<\/li>\n<\/ul>\n\n\n\n<h3 id=\"protecting-block-ciphers\" class=\"wp-block-heading\"><a><\/a>Protecting Block-Ciphers:<\/h3>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Hiding:\u00a0We designed a set of balanced custom instructions to prevent the electromagnetic leakage of AES on Nios-II processor. The results were presented at FPL\u201912.<\/li>\n\n\n\n<li>Masking:\n<ol class=\"wp-block-list\">\n<li>We proposed a provably-secure masking scheme of the new NSA block cipher Simon. This design is the smallest SCA-secure block cipher to date. Results were presented in HOST\u201915 and IEEE-TC\u201917.<\/li>\n\n\n\n<li>We also proposed a provably-secure masking scheme of the other NSA block cipher Speck. This design was presented in CARDIS\u201916<\/li>\n\n\n\n<li>We proposed a new method to estimate the information leakage of an embedded system right from the software code. The results of this research were presented at DAC\u201914 and IEEE-TCAD. These papers were cited 62 times and later lead to a\u00a0<strong>$500K NSF project<\/strong>\u00a0\u2018<a href=\"https:\/\/www.nsf.gov\/awardsearch\/showAward?AWD_ID=1617203\" target=\"_blank\" rel=\"noreferrer noopener\">Secure by Construction: An Automated Approach to Comprehensive Side Channel Resistance<\/a>\u2019, Award Number: 1617203, PI: P. Schaumont.<\/li>\n<\/ol>\n<\/li>\n\n\n\n<li>Leakage Resiliency:\u00a0We proposed a framework for practical leakage resiliency, with two solutions for AES. The results were accepted at DIAC\u201913 and IEEE-TIFS.<\/li>\n<\/ul>\n\n\n\n<h3 id=\"attacking-hashing-functions\" class=\"wp-block-heading\"><a><\/a>Attacking Hashing Functions:<\/h3>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Power Attacks:\u00a0We were the first people to exploited Keccak, the new SHA-3 hashing standard running on both Microblaze processor and a 0.13mm ASIC chip. Results of this project were presented at HOST\u201913, and IWSEC\u201913.<br>These papers were cited 58 times, and were part of a big\u00a0<strong>$1,5M NIST project<\/strong>, \u201c<a href=\"https:\/\/www.nist.gov\/director\/chief-staff\/program-coordination-office\/project-brief-george-mason-university\" target=\"_blank\" rel=\"noreferrer noopener\">Environment for Fair and Comprehensive Performance Evaluation of Cryptographic Hardware and Software<\/a>\u201c.<\/li>\n<\/ul>\n\n\n\n<h3 id=\"protecting-hashing-functions\" class=\"wp-block-heading\"><a><\/a>Protecting Hashing Functions:<\/h3>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Leakage Resiliency:\u00a0We developed a lightweight secure core for all the keyed and unkeyed applications of SHA-3. Results of this project were presented at HOST\u201914.<br>This paper was part of a\u00a0<strong>$437K NSF project<\/strong>, \u2018<a href=\"https:\/\/www.nsf.gov\/awardsearch\/showAward?AWD_ID=1115839\" target=\"_blank\" rel=\"noreferrer noopener\">New Directions in Side Channel Attacks and Countermeasures<\/a>,\u2019 Award Number: 1115839.<\/li>\n<\/ul>\n\n\n\n<h2 id=\"msc-research\" class=\"wp-block-heading\"><a><\/a><strong>MSc Research<\/strong>:<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">During the MSc degree, we proposed a reliable broadcasting protocol for life-safety messages in Vehicular Ad-Hoc Networks (VANETs). Results of this research were presented in ISSPIT\u201907 and VTC\u201908.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">My MSc research was cited more than 99 times.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>As embedded systems are being massively deployed in the automotive industry, intelligent healthcare, Internet-of-Things (IoT) and smart infrastructure, developing security-aware designs became a vital research area. These systems are not only highly-constrained design environments, but are also vulnerable to implementation attacks. Implementation attacks are practical attacks that target the underlying implementation of a cryptographic algorithm [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"_cu_dining_location_slug":"","footnotes":"","_links_to":"","_links_to_target":""},"cu_page_type":[],"class_list":["post-15","page","type-page","status-publish","hentry"],"acf":{"cu_post_thumbnail":""},"_links":{"self":[{"href":"https:\/\/carleton.ca\/mtaha\/wp-json\/wp\/v2\/pages\/15","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/carleton.ca\/mtaha\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/carleton.ca\/mtaha\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/carleton.ca\/mtaha\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/carleton.ca\/mtaha\/wp-json\/wp\/v2\/comments?post=15"}],"version-history":[{"count":5,"href":"https:\/\/carleton.ca\/mtaha\/wp-json\/wp\/v2\/pages\/15\/revisions"}],"predecessor-version":[{"id":73,"href":"https:\/\/carleton.ca\/mtaha\/wp-json\/wp\/v2\/pages\/15\/revisions\/73"}],"wp:attachment":[{"href":"https:\/\/carleton.ca\/mtaha\/wp-json\/wp\/v2\/media?parent=15"}],"wp:term":[{"taxonomy":"cu_page_type","embeddable":true,"href":"https:\/\/carleton.ca\/mtaha\/wp-json\/wp\/v2\/cu_page_type?post=15"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}