Showing 1–50 of 64 results for author: Shinde, S

A Three-Phase Analysis of Synergistic Effects During Co-pyrolysis of Algae and Wood for Biochar Yield Using Machine Learning

Authors: Subhadeep Chakrabarti, Saish Shinde

Abstract: Pyrolysis techniques have served to be a groundbreaking technique for effectively utilising natural and man-made biomass products like plastics, wood, crop residue, fruit peels etc. Recent advancements have shown a greater yield of essential products like biochar, bio-oil and other non-condensable gases by blending different biomasses in a certain ratio. This synergy effect of combining two pyroly… ▽ More Pyrolysis techniques have served to be a groundbreaking technique for effectively utilising natural and man-made biomass products like plastics, wood, crop residue, fruit peels etc. Recent advancements have shown a greater yield of essential products like biochar, bio-oil and other non-condensable gases by blending different biomasses in a certain ratio. This synergy effect of combining two pyrolytic raw materials i.e co-pyrolysis of algae and wood biomass has been systematically studied and grouped into 3 phases in this research paper-kinetic analysis of co-pyrolysis, correlation among proximate and ultimate analysis with bio-char yield and lastly grou** of different weight ratios based on biochar yield up to a certain percentage. Different ML and DL algorithms have been utilized for regression and classification techniques to give a comprehensive overview of the effect of the synergy of two different biomass materials on biochar yield. For the first phase, the best prediction of biochar yield was obtained by using a decision tree regressor with a perfect MSE score of 0.00, followed by a gradient-boosting regressor. The second phase was analyzed using both ML and DL techniques. Within ML, SVR proved to be the most convenient model with an accuracy score of 0.972 with DNN employed for deep learning technique. Finally, for the third phase, binary classification was applied to biochar yield with and without heating rate for biochar yield percentage above and below 40%. The best technique for ML was Support Vector followed by Random forest while ANN was the most suitable Deep Learning Technique. △ Less

Submitted 20 May, 2024; originally announced May 2024.

Comments: 6 pages

Rolling in the Shadows: Analyzing the Extraction of MEV Across Layer-2 Rollups

Authors: Christof Ferreira Torres, Albin Mamuti, Ben Weintraub, Cristina Nita-Rotaru, Shweta Shinde

Abstract: The emergence of decentralized finance has transformed asset trading on the blockchain, making traditional financial instruments more accessible while also introducing a series of exploitative economic practices known as Maximal Extractable Value (MEV). Concurrently, decentralized finance has embraced rollup-based Layer-2 solutions to facilitate asset trading at reduced transaction costs compared… ▽ More The emergence of decentralized finance has transformed asset trading on the blockchain, making traditional financial instruments more accessible while also introducing a series of exploitative economic practices known as Maximal Extractable Value (MEV). Concurrently, decentralized finance has embraced rollup-based Layer-2 solutions to facilitate asset trading at reduced transaction costs compared to Layer-1 solutions such as Ethereum. However, rollups lack a public mempool like Ethereum, making the extraction of MEV more challenging. In this paper, we investigate the prevalence and impact of MEV on Ethereum and prominent rollups such as Arbitrum, Optimism, and zkSync over a nearly three-year period. Our analysis encompasses various metrics including volume, profits, costs, competition, and response time to MEV opportunities. We discover that MEV is widespread on rollups, with trading volume comparable to Ethereum. We also find that, although MEV costs are lower on rollups, profits are also significantly lower compared to Ethereum. Additionally, we examine the prevalence of sandwich attacks on rollups. While our findings did not detect any sandwiching activity on popular rollups, we did identify the potential for cross-layer sandwich attacks facilitated by transactions that are sent across rollups and Ethereum. Consequently, we propose and evaluate the feasibility of three novel attacks that exploit cross-layer transactions, revealing that attackers could have already earned approximately 2 million USD through cross-layer sandwich attacks. △ Less

Submitted 30 April, 2024; originally announced May 2024.

SIGY: Breaking Intel SGX Enclaves with Malicious Exceptions & Signals

Authors: Supraja Sridhara, Andrin Bertschi, Benedict Schlüter, Shweta Shinde

Abstract: User programs recover from hardware exceptions and respond to signals by executing custom handlers that they register specifically for such events. We present SIGY attack, which abuses this programming model on Intel SGX to break the confidentiality and integrity guarantees of enclaves. SIGY uses the untrusted OS to deliver fake hardware events and injects fake signals in an enclave at any point.… ▽ More User programs recover from hardware exceptions and respond to signals by executing custom handlers that they register specifically for such events. We present SIGY attack, which abuses this programming model on Intel SGX to break the confidentiality and integrity guarantees of enclaves. SIGY uses the untrusted OS to deliver fake hardware events and injects fake signals in an enclave at any point. Such unintended execution of benign program-defined handlers in an enclave corrupts its state and violates execution integrity. 7 runtimes and library OSes (OpenEnclave, Gramine, Scone, Asylo, Teaclave, Occlum, EnclaveOS) are vulnerable to SIGY. 8 languages supported in Intel SGX have programming constructs that are vulnerable to SIGY. We use SIGY to demonstrate 4 proof of concept exploits on webservers (Nginx, Node.js) to leak secrets and data analytics workloads in different languages (C and Java) to break execution integrity. △ Less

Submitted 22 April, 2024; originally announced April 2024.

WeSee: Using Malicious #VC Interrupts to Break AMD SEV-SNP

Authors: Benedict Schlüter, Supraja Sridhara, Andrin Bertschi, Shweta Shinde

Abstract: AMD SEV-SNP offers VM-level trusted execution environments (TEEs) to protect the confidentiality and integrity for sensitive cloud workloads from untrusted hypervisor controlled by the cloud provider. AMD introduced a new exception, #VC, to facilitate the communication between the VM and the untrusted hypervisor. We present WeSee attack, where the hypervisor injects malicious #VC into a victim VM'… ▽ More AMD SEV-SNP offers VM-level trusted execution environments (TEEs) to protect the confidentiality and integrity for sensitive cloud workloads from untrusted hypervisor controlled by the cloud provider. AMD introduced a new exception, #VC, to facilitate the communication between the VM and the untrusted hypervisor. We present WeSee attack, where the hypervisor injects malicious #VC into a victim VM's CPU to compromise the security guarantees of AMD SEV-SNP. Specifically, WeSee injects interrupt number 29, which delivers a #VC exception to the VM who then executes the corresponding handler that performs data and register copies between the VM and the hypervisor. WeSee shows that using well-crafted #VC injections, the attacker can induce arbitrary behavior in the VM. Our case-studies demonstrate that WeSee can leak sensitive VM information (kTLS keys for NGINX), corrupt kernel data (firewall rules), and inject arbitrary code (launch a root shell from the kernel space). △ Less

Submitted 4 April, 2024; originally announced April 2024.

Comments: Extended version of the IEEE S&P 2024 paper

Heckler: Breaking Confidential VMs with Malicious Interrupts

Authors: Benedict Schlüter, Supraja Sridhara, Mark Kuhne, Andrin Bertschi, Shweta Shinde

Abstract: Hardware-based Trusted execution environments (TEEs) offer an isolation granularity of virtual machine abstraction. They provide confidential VMs (CVMs) that host security-sensitive code and data. AMD SEV-SNP and Intel TDX enable CVMs and are now available on popular cloud platforms. The untrusted hypervisor in these settings is in control of several resource management and configuration tasks, in… ▽ More Hardware-based Trusted execution environments (TEEs) offer an isolation granularity of virtual machine abstraction. They provide confidential VMs (CVMs) that host security-sensitive code and data. AMD SEV-SNP and Intel TDX enable CVMs and are now available on popular cloud platforms. The untrusted hypervisor in these settings is in control of several resource management and configuration tasks, including interrupts. We present Heckler, a new attack wherein the hypervisor injects malicious non-timer interrupts to break the confidentiality and integrity of CVMs. Our insight is to use the interrupt handlers that have global effects, such that we can manipulate a CVM's register states to change the data and control flow. With AMD SEV-SNP and Intel TDX, we demonstrate Heckler on OpenSSH and sudo to bypass authentication. On AMD SEV-SNP we break execution integrity of C, Java, and Julia applications that perform statistical and text analysis. We explain the gaps in current defenses and outline guidelines for future defenses. △ Less

Submitted 4 April, 2024; originally announced April 2024.

Comments: Extended version of the Usenix Security 2024 paper

Co-Pilot for Health: Personalized Algorithmic AI Nudging to Improve Health Outcomes

Authors: Jodi Chiam, Aloysius Lim, Cheryl Nott, Nicholas Mark, Ankur Teredesai, Sunil Shinde

Abstract: The ability to shape health behaviors of large populations automatically, across wearable types and disease conditions at scale has tremendous potential to improve global health outcomes. We designed and implemented an AI driven platform for digital algorithmic nudging, enabled by a Graph-Neural Network (GNN) based Recommendation System, and granular health behavior data from wearable fitness devi… ▽ More The ability to shape health behaviors of large populations automatically, across wearable types and disease conditions at scale has tremendous potential to improve global health outcomes. We designed and implemented an AI driven platform for digital algorithmic nudging, enabled by a Graph-Neural Network (GNN) based Recommendation System, and granular health behavior data from wearable fitness devices. Here we describe the efficacy results of this platform with its capabilities of personalized and contextual nudging to $n=84,764$ individuals over a 12-week period in Singapore. We statistically validated that participants in the target group who received such AI optimized daily nudges increased daily physical activity like step count by 6.17% ($p = 3.09\times10^{-4}$) and weekly minutes of Moderate to Vigorous Physical Activity (MVPA) by 7.61% ($p = 1.16\times10^{-2}$), compared to matched participants in control group who did not receive any nudges. Further, such nudges were very well received, with a 13.1% of nudges sent being opened (open rate), and 11.7% of the opened nudges rated useful compared to 1.9% rated as not useful thereby demonstrating significant improvement in population level engagement metrics. △ Less

Submitted 8 February, 2024; v1 submitted 19 January, 2024; originally announced January 2024.

Comments: 20 pages, 2 figures

Graphene phase modulators operating in the transparency regime

Authors: H. F. Y. Watson, A. Ruocco, M. Tiberi, J. E. Muench, O. Balci, S. M. Shinde, S. Mignuzzi, M. Pantouvaki, D. Van Thourhout, R. Sordan, A. Tomadin, M. Romagnoli, A. C. Ferrari

Abstract: Next-generation data networks need to support Tb/s rates. In-phase and quadrature (IQ) modulation combine phase and intensity information to increase the density of encoded data, reduce overall power consumption by minimising the number of channels, and increase noise tolerance. To reduce errors when decoding the received signal, intersymbol interference must be minimised. This is achieved with pu… ▽ More Next-generation data networks need to support Tb/s rates. In-phase and quadrature (IQ) modulation combine phase and intensity information to increase the density of encoded data, reduce overall power consumption by minimising the number of channels, and increase noise tolerance. To reduce errors when decoding the received signal, intersymbol interference must be minimised. This is achieved with pure phase modulation, where the phase of the optical signal is controlled without changing its intensity. Phase modulators are characterised by the voltage required to achieve a $π$ phase shift V$_π$, the device length L, and their product V$_π$L. To reduce power consumption, IQ modulators are needed with$<$1V drive voltages and compact (sub-cm) dimensions, which translate in V$_π$L$<$1Vcm. Si and LiNbO$_3$ (LN) IQ modulators do not currently meet these requirements, because V$_π$L$>$1Vcm. Here, we report a double single-layer graphene (SLG) Mach-Zehnder modulator (MZM) with pure phase modulation in the transparent regime, where optical losses are minimised and remain constant with increasing voltage. Our device has $V_πL\sim$0.3Vcm, matching state-of-the-art SLG-based MZMs and plasmonic LN MZMs, but with pure phase modulation and low insertion loss ($\sim$5dB), essential for IQ modulation. Our $V_πL$ is$\sim$5 times lower than the lowest thin-film LN MZMs, and$\sim$3 times lower than the lowest Si MZMs. This enables devices with complementary metal-oxide semiconductor compatible V$_π$L ($<$1Vcm) and smaller footprint than LN or Si MZMs, improving circuit density and reducing power consumption by one order of magnitude. △ Less

Submitted 25 December, 2023; originally announced January 2024.

b-it-bots RoboCup@Work Team Description Paper 2023

Authors: Kevin Patel, Vamsi Kalagaturu, Vivek Mannava, Ravisankar Selvaraju, Shubham Shinde, Dharmin Bakaraniya, Deebul Nair, Mohammad Wasil, Santosh Thoduka, Iman Awaad, Sven Schneider, Nico Hochgeschwender, Paul G. Plöger

Abstract: This paper presents the b-it-bots RoboCup@Work team and its current hardware and functional architecture for the KUKA youBot robot. We describe the underlying software framework and the developed capabilities required for operating in industrial environments including features such as reliable and precise navigation, flexible manipulation, robust object recognition and task planning. New developme… ▽ More This paper presents the b-it-bots RoboCup@Work team and its current hardware and functional architecture for the KUKA youBot robot. We describe the underlying software framework and the developed capabilities required for operating in industrial environments including features such as reliable and precise navigation, flexible manipulation, robust object recognition and task planning. New developments include an approach to grasp vertical objects, placement of objects by considering the empty space on a workstation, and the process of porting our code to ROS2. △ Less

Submitted 29 December, 2023; originally announced December 2023.

A Tunable Transition Metal Dichalcogenide Entangled Photon-Pair Source

Authors: Maximilian A. Weissflog, Anna Fedotova, Yilin Tang, Elkin A. Santos, Benjamin Laudert, Saniya Shinde, Fatemeh Abtahi, Mina Afsharnia, Inmaculada Pérez Pérez, Sebastian Ritter, Hao Qin, Jiri Janousek, Sai Shradha, Isabelle Staude, Sina Saravi, Thomas Pertsch, Frank Setzpfandt, Yuerui Lu, Falk Eilenberger

Abstract: Entangled photon-pair sources are at the core of quantum applications like quantum key distribution, sensing, and imaging. Operation in space-limited and adverse environments such as in satellite-based and mobile communication requires robust entanglement sources with minimal size and weight requirements. Here, we meet this challenge by realizing a cubic micrometer scale entangled photon-pair sour… ▽ More Entangled photon-pair sources are at the core of quantum applications like quantum key distribution, sensing, and imaging. Operation in space-limited and adverse environments such as in satellite-based and mobile communication requires robust entanglement sources with minimal size and weight requirements. Here, we meet this challenge by realizing a cubic micrometer scale entangled photon-pair source in a 3R-stacked transition metal dichalcogenide crystal. Its crystal symmetry enables the generation of polarization-entangled Bell states without additional components and provides tunability by simple control of the pump polarization. Remarkably, generation rate and state tuning are decoupled, leading to equal generation efficiency and no loss of entanglement. Combining transition metal dichalcogenides with monolithic cavities and integrated photonic circuitry or using quasi-phasematching opens the gate towards ultrasmall and scalable quantum devices. △ Less

Submitted 27 November, 2023; originally announced November 2023.

Enabling Intelligent Vehicular Networks Through Distributed Learning in the Non-Terrestrial Networks 6G Vision

Authors: David Naseh, Swapnil Sadashiv Shinde, Daniele Tarchi

Abstract: The forthcoming 6G-enabled Intelligent Transportation System (ITS) is set to redefine conventional transportation networks with advanced intelligent services and applications. These technologies, including edge computing, Machine Learning (ML), and network softwarization, pose stringent requirements for latency, energy efficiency, and user data security. Distributed Learning (DL), such as Federate… ▽ More The forthcoming 6G-enabled Intelligent Transportation System (ITS) is set to redefine conventional transportation networks with advanced intelligent services and applications. These technologies, including edge computing, Machine Learning (ML), and network softwarization, pose stringent requirements for latency, energy efficiency, and user data security. Distributed Learning (DL), such as Federated Learning (FL), is essential to meet these demands by distributing the learning process at the network edge. However, traditional FL approaches often require substantial resources for satisfactory learning performance. In contrast, Transfer Learning (TL) and Split Learning (SL) have shown effectiveness in enhancing learning efficiency in resource-constrained wireless scenarios like ITS. Non-terrestrial Networks (NTNs) have recently acquired a central place in the 6G vision, especially for boosting the coverage, capacity, and resilience of traditional terrestrial facilities. Air-based NTN layers, such as High Altitude Platforms (HAPs), can have added advantages in terms of reduced transmission distances and flexible deployments and thus can be exploited to enable intelligent solutions for latency-critical vehicular scenarios. With this motivation, in this work, we introduce the concept of Federated Split Transfer Learning (FSTL) in joint air-ground networks for resource-constrained vehicular scenarios. Simulations carried out in vehicular scenarios validate the efficacy of FSTL on HAPs in NTN, demonstrating significant improvements in addressing the demands of ITS applications. △ Less

Submitted 7 September, 2023; originally announced October 2023.

Comments: 6 pages, 5 figures

Journal ref: European Wireless 2023; 28th European Wireless Conference, Rome, Italy, 2023, pp. 136-141

Is Your Wallet Snitching On You? An Analysis on the Privacy Implications of Web3

Authors: Christof Ferreira Torres, Fiona Willi, Shweta Shinde

Abstract: With the recent hype around the Metaverse and NFTs, Web3 is getting more and more popular. The goal of Web3 is to decentralize the web via decentralized applications. Wallets play a crucial role as they act as an interface between these applications and the user. Wallets such as MetaMask are being used by millions of users nowadays. Unfortunately, Web3 is often advertised as more secure and privat… ▽ More With the recent hype around the Metaverse and NFTs, Web3 is getting more and more popular. The goal of Web3 is to decentralize the web via decentralized applications. Wallets play a crucial role as they act as an interface between these applications and the user. Wallets such as MetaMask are being used by millions of users nowadays. Unfortunately, Web3 is often advertised as more secure and private. However, decentralized applications as well as wallets are based on traditional technologies, which are not designed with privacy of users in mind. In this paper, we analyze the privacy implications that Web3 technologies such as decentralized applications and wallets have on users. To this end, we build a framework that measures exposure of wallet information. First, we study whether information about installed wallets is being used to track users online. We analyze the top 100K websites and find evidence of 1,325 websites running scripts that probe whether users have wallets installed in their browser. Second, we measure whether decentralized applications and wallets leak the user's unique wallet address to third-parties. We intercept the traffic of 616 decentralized applications and 100 wallets and find over 2000 leaks across 211 applications and more than 300 leaks across 13 wallets. Our study shows that Web3 poses a threat to users' privacy and requires new designs towards more privacy-aware wallet architectures. △ Less

Submitted 13 June, 2023; originally announced June 2023.

ACAI: Protecting Accelerator Execution with Arm Confidential Computing Architecture

Authors: Supraja Sridhara, Andrin Bertschi, Benedict Schlüter, Mark Kuhne, Fabio Aliberti, Shweta Shinde

Abstract: Trusted execution environments in several existing and upcoming CPUs demonstrate the success of confidential computing, with the caveat that tenants cannot securely use accelerators such as GPUs and FPGAs. In this paper, we reconsider the Arm Confidential Computing Architecture (CCA) design, an upcoming TEE feature in Armv9-A, to address this gap. We observe that CCA offers the right abstraction a… ▽ More Trusted execution environments in several existing and upcoming CPUs demonstrate the success of confidential computing, with the caveat that tenants cannot securely use accelerators such as GPUs and FPGAs. In this paper, we reconsider the Arm Confidential Computing Architecture (CCA) design, an upcoming TEE feature in Armv9-A, to address this gap. We observe that CCA offers the right abstraction and mechanisms to allow confidential VMs to use accelerators as a first-class abstraction. We build ACAI, a CCA-based solution, with a principled approach of extending CCA security invariants to device-side access to address several critical security gaps. Our experimental results on GPU and FPGA demonstrate the feasibility of ACAI while maintaining security guarantees. △ Less

Submitted 25 October, 2023; v1 submitted 25 May, 2023; originally announced May 2023.

Comments: Extended version of the Usenix Security 2024 paper

Monolayer WS$_2$ electro- and photo-luminescence enhancement by TFSI treatment

Authors: A. R. Cadore, B. L. T. Rosa, I. Paradisanos, S. Mignuzzi, D. De Fazio, E. M. Alexeev, J. E. Muench, G. Kakavelakis, S. M. Shinde, D. Yoon, S. Tongay, K. Watanabe, T. Taniguchi, E. Lidorikis, I. Goykhman, G. Soavi, A. C. Ferrari

Abstract: Layered material heterostructures (LMHs) can be used to fabricate electroluminescent devices operating in the visible spectral region. A major advantage of LMH-light emitting diodes (LEDs) is that electroluminescence (EL) emission can be tuned across that of different exciton complexes (e.g. biexcitons, trions, quintons) by controlling the charge density. However, these devices have an EL quantum… ▽ More Layered material heterostructures (LMHs) can be used to fabricate electroluminescent devices operating in the visible spectral region. A major advantage of LMH-light emitting diodes (LEDs) is that electroluminescence (EL) emission can be tuned across that of different exciton complexes (e.g. biexcitons, trions, quintons) by controlling the charge density. However, these devices have an EL quantum efficiency as low as$\sim$10$^{-4}$\%. Here, we show that the superacid bis-(triuoromethane)sulfonimide (TFSI) treatment of monolayer WS$_2$-LEDs boosts EL quantum efficiency by over one order of magnitude at room temperature. Non-treated devices emit light mainly from negatively charged excitons, while the emission in treated ones predominantly involves radiative recombination of neutral excitons. This paves the way to tunable and efficient LMH-LEDs △ Less

Submitted 2 May, 2023; originally announced May 2023.

Face Generation from Textual Features using Conditionally Trained Inputs to Generative Adversarial Networks

Authors: Sandeep Shinde, Tejas Pradhan, Aniket Ghorpade, Mihir Tale

Abstract: Generative Networks have proved to be extremely effective in image restoration and reconstruction in the past few years. Generating faces from textual descriptions is one such application where the power of generative algorithms can be used. The task of generating faces can be useful for a number of applications such as finding missing persons, identifying criminals, etc. This paper discusses a no… ▽ More Generative Networks have proved to be extremely effective in image restoration and reconstruction in the past few years. Generating faces from textual descriptions is one such application where the power of generative algorithms can be used. The task of generating faces can be useful for a number of applications such as finding missing persons, identifying criminals, etc. This paper discusses a novel approach to generating human faces given a textual description regarding the facial features. We use the power of state of the art natural language processing models to convert face descriptions into learnable latent vectors which are then fed to a generative adversarial network which generates faces corresponding to those features. While this paper focuses on high level descriptions of faces only, the same approach can be tailored to generate any image based on fine grained textual features. △ Less

Submitted 22 January, 2023; originally announced January 2023.

Synergetic Effect of Wall-Slip and Compressibility During Startup Flow of Complex Fluids

Authors: Aniruddha Sanyal, Sachin Balasaheb Shinde, Lalit Kumar

Abstract: The present letter explains the synergetic effect of wall-slip, compressibility, and thixotropy in a pressurized flow startup operation of various structured fluids. Opposite to the intuition, experimental and numerical simulations suggest that the wall-slip (adhesive failure) is facilitating gel degradation (cohesive failure), revealing a new flow-startup mechanism. The thixotropic rheological mo… ▽ More The present letter explains the synergetic effect of wall-slip, compressibility, and thixotropy in a pressurized flow startup operation of various structured fluids. Opposite to the intuition, experimental and numerical simulations suggest that the wall-slip (adhesive failure) is facilitating gel degradation (cohesive failure), revealing a new flow-startup mechanism. The thixotropic rheological model includes structural degradation kinetics at the bulk. Whereas, a static slip-based model addresses the near-wall phenomenon. The near-wall transient variations in axial velocity or strain evolution, and the initial pressure propagation mechanism along the axis of the circular pipe explain the essence of the aforementioned synergy. △ Less

Submitted 10 January, 2023; originally announced January 2023.

Comments: submitted elsewhere also for publication, it contains 33 pages

It's TEEtime: A New Architecture Bringing Sovereignty to Smartphones

Authors: Friederike Groschupp, Mark Kuhne, Moritz Schneider, Ivan Puddu, Shweta Shinde, Srdjan Capkun

Abstract: Modern smartphones are complex systems in which control over phone resources is exercised by phone manufacturers, OS vendors, and users. These stakeholders have diverse and often competing interests. Barring some exceptions, users entrust their security and privacy to OS vendors (Android and iOS) and need to accept their constraints. Manufacturers protect their firmware and peripherals from the OS… ▽ More Modern smartphones are complex systems in which control over phone resources is exercised by phone manufacturers, OS vendors, and users. These stakeholders have diverse and often competing interests. Barring some exceptions, users entrust their security and privacy to OS vendors (Android and iOS) and need to accept their constraints. Manufacturers protect their firmware and peripherals from the OS by executing in the highest privilege and leveraging dedicated CPUs and TEEs. OS vendors need to trust the highest privileged code deployed by manufacturers. This division of control over the phone is not ideal for OS vendors and is even more disadvantageous for the users. Users are generally limited in what applications they can install on their devices, in the privacy model and trust assumptions of the existing applications, and in the functionalities that applications can have. We propose TEEtime, a new smartphone architecture based on trusted execution allowing to balance the control different stakeholders exert over phones. More leveled control over the phone means that no stakeholder is more privileged than the others. In particular, TEEtime makes users sovereign over their phones: It enables them to install sensitive applications in isolated domains with protected access to selected peripherals alongside an OS. TEEtime achieves this while maintaining compatibility with the existing smartphone ecosystem and without relying on virtualization; it only assumes trust in a phone's firmware. TEEtime is the first TEE architecture that allows isolated execution domains to gain protected and direct access to peripherals. TEEtime is based on Armv8-A and achieves peripheral isolation using a novel mechanism based on memory and interrupt controller protection. We demonstrate the feasibility of our design by implementing a prototype of TEEtime, and by running exemplary sensitive applications. △ Less

Submitted 28 June, 2023; v1 submitted 9 November, 2022; originally announced November 2022.

Empowering Data Centers for Next Generation Trusted Computing

Authors: Aritra Dhar, Supraja Sridhara, Shweta Shinde, Srdjan Capkun, Renzo Andri

Abstract: Modern data centers have grown beyond CPU nodes to provide domain-specific accelerators such as GPUs and FPGAs to their customers. From a security standpoint, cloud customers want to protect their data. They are willing to pay additional costs for trusted execution environments such as enclaves provided by Intel SGX and AMD SEV. Unfortunately, the customers have to make a critical choice -- either… ▽ More Modern data centers have grown beyond CPU nodes to provide domain-specific accelerators such as GPUs and FPGAs to their customers. From a security standpoint, cloud customers want to protect their data. They are willing to pay additional costs for trusted execution environments such as enclaves provided by Intel SGX and AMD SEV. Unfortunately, the customers have to make a critical choice -- either use domain-specific accelerators for speed or use CPU-based confidential computing solutions. To bridge this gap, we aim to enable data-center scale confidential computing that expands across CPUs and accelerators. We argue that having wide-scale TEE-support for accelerators presents a technically easier solution, but is far away from being a reality. Instead, our hybrid design provides enclaved execution guarantees for computation distributed over multiple CPU nodes and devices with/without TEE support. Our solution scales gracefully in two dimensions -- it can handle a large number of heterogeneous nodes and it can accommodate TEE-enabled devices as and when they are available in the future. We observe marginal overheads of $0.42$--$8\%$ on real-world AI data center workloads that are independent of the number of nodes in the data center. We add custom TEE support to two accelerators (AI and storage) and integrate it into our solution, thus demonstrating that it can cater to future TEE devices. △ Less

Submitted 1 November, 2022; originally announced November 2022.

Comments: 23 pages, 12 figures

Terahertz photodetection in scalable single-layer-graphene and hexagonal boron nitride heterostructures

Authors: M. Asgari, L. Viti, O. Balci, S. M. Shinde, J. Zhang, H. Ramezani, S. Sharma, A. Meersha, G. Menichetti, C. McAleese, B. Conran, X. Wang, A. Tomadin, A. C. Ferrari, M. S. Vitiello

Abstract: The unique optoelectronic properties of single layer graphene (SLG) are ideal for the development of photonic devices across a broad range of frequencies, from X-rays to microwaves. In the terahertz (THz) range (0.1-10 THz frequency) this has led to the development of optical modulators, non-linear sources, and photodetectors, with state-of-the-art performances. A key challenge is the integration… ▽ More The unique optoelectronic properties of single layer graphene (SLG) are ideal for the development of photonic devices across a broad range of frequencies, from X-rays to microwaves. In the terahertz (THz) range (0.1-10 THz frequency) this has led to the development of optical modulators, non-linear sources, and photodetectors, with state-of-the-art performances. A key challenge is the integration of SLG-based active elements with pre-existing technological platforms in a scalable way, while maintaining performance level unperturbed. Here, we report on the development of room temperature THz detection in large-area SLG, grown by chemical vapor deposition (CVD), integrated in antenna-coupled field effect transistors. We selectively activate the photo-thermoelectric detection dynamics, and we employ different dielectric configurations on SLG on Al2O3 with and without large-area CVD hBN cap** to investigate their effect on SLG thermoelectric properties underpinning photodetection. With these scalable architectures, response times ~5ns and noise equivalent powers ~1nWHz-1/2 are achieved under zero-bias operation. This shows the feasibility of scalable, large-area, layered materials heterostructures for THz detection. △ Less

Submitted 28 June, 2022; originally announced June 2022.

Comments: 15 pages, 4 Figures. The following article has been accepted by Applied Physics Letters. After it is published, it will be found at the link https://doi.org/10.1063/5.0097726

SoK: Hardware-supported Trusted Execution Environments

Authors: Moritz Schneider, Ramya Jayaram Masti, Shweta Shinde, Srdjan Capkun, Ronald Perez

Abstract: The growing complexity of modern computing platforms and the need for strong isolation protections among their software components has led to the increased adoption of Trusted Execution Environments (TEEs). While several commercial and academic TEE architectures have emerged in recent times, they remain hard to compare and contrast. More generally, existing TEEs have not been subject to a holistic… ▽ More The growing complexity of modern computing platforms and the need for strong isolation protections among their software components has led to the increased adoption of Trusted Execution Environments (TEEs). While several commercial and academic TEE architectures have emerged in recent times, they remain hard to compare and contrast. More generally, existing TEEs have not been subject to a holistic systematization to understand the available design alternatives for various aspects of TEE design and their corresponding pros-and-cons. Therefore, in this work, we analyze the design of existing TEEs and systematize the mechanisms that TEEs implement to achieve their security goals, namely, verifiable launch, run-time isolation, trusted IO, and secure storage. More specifically, we analyze the typical architectural building blocks underlying TEE solutions, design alternatives for each of these components and the trade-offs that they entail. We focus on hardware-assisted TEEs and cover a wide range of TEE proposals from academia and the industry. Our analysis shows that although TEEs are diverse in terms of their goals, usage models, and instruction set architectures, they all share many common building blocks in terms of their design. △ Less

Submitted 25 May, 2022; originally announced May 2022.

SmashEx: Smashing SGX Enclaves Using Exceptions

Authors: **hua Cui, Jason Zhi**gcheng Yu, Shweta Shinde, Prateek Saxena, Zhi** Cai

Abstract: Exceptions are a commodity hardware functionality which is central to multi-tasking OSes as well as event-driven user applications. Normally, the OS assists the user application by lifting the semantics of exceptions received from hardware to program-friendly user signals and exception handling interfaces. However, can exception handlers work securely in user enclaves, such as those enabled by Int… ▽ More Exceptions are a commodity hardware functionality which is central to multi-tasking OSes as well as event-driven user applications. Normally, the OS assists the user application by lifting the semantics of exceptions received from hardware to program-friendly user signals and exception handling interfaces. However, can exception handlers work securely in user enclaves, such as those enabled by Intel SGX, where the OS is not trusted by the enclave code? In this paper, we introduce a new attack called SmashEx which exploits the OS-enclave interface for asynchronous exceptions in SGX. It demonstrates the importance of a fundamental property of safe atomic execution that is required on this interface. In the absence of atomicity, we show that asynchronous exception handling in SGX enclaves is complicated and prone to re-entrancy vulnerabilities. Our attacks do not assume any memory errors in the enclave code, side channels, or application-specific logic flaws. We concretely demonstrate exploits that cause arbitrary disclosure of enclave private memory and code-reuse (ROP) attacks in the enclave. We show reliable exploits on two widely-used SGX runtimes, Intel SGX SDK and Microsoft Open Enclave, running OpenSSL and cURL libraries respectively. We tested a total of 14 frameworks, including Intel SGX SDK and Microsoft Open Enclave, 10 of which are vulnerable. We discuss how the vulnerability manifests on both SGX1-based and SGX2-based platforms. We present potential mitigation and long-term defenses for SmashEx. △ Less

Submitted 13 October, 2021; originally announced October 2021.

Comments: Accepted to ACM CCS 2021

Scalable Predictive Time-Series Analysis of COVID-19: Cases and Fatalities

Authors: Shradha Shinde, Jay Joshi, Sowmya Mareedu, Yeon Pyo Kim, Jongwook Woo

Abstract: COVID 19 is an acute disease that started spreading throughout the world, beginning in December 2019. It has spread worldwide and has affected more than 7 million people, and 200 thousand people have died due to this infection as of Oct 2020. In this paper, we have forecasted the number of deaths and the confirmed cases in Los Angeles and New York of the United States using the traditional and Big… ▽ More COVID 19 is an acute disease that started spreading throughout the world, beginning in December 2019. It has spread worldwide and has affected more than 7 million people, and 200 thousand people have died due to this infection as of Oct 2020. In this paper, we have forecasted the number of deaths and the confirmed cases in Los Angeles and New York of the United States using the traditional and Big Data platforms based on the Times Series: ARIMA and ETS. We also implemented a more sophisticated time-series forecast model using Facebook Prophet API. Furthermore, we developed the classification models: Logistic Regression and Random Forest regression to show that the Weather does not affect the number of the confirmed cases. The models are built and run in legacy systems (Azure ML Studio) and Big Data systems (Oracle Cloud and Databricks). Besides, we present the accuracy of the models. △ Less

Submitted 22 April, 2021; originally announced April 2021.

Comments: 8 pages, 7 figures, 4 tables

Dynamic Binary Translation for SGX Enclaves

Authors: **hua Cui, Shweta Shinde, Satyaki Sen, Prateek Saxena, **hai Yuan

Abstract: Enclaves, such as those enabled by Intel SGX, offer a hardware primitive for shielding user-level applications from the OS. While enclaves are a useful starting point, code running in the enclave requires additional checks whenever control or data is transferred to/from the untrusted OS. The enclave-OS interface on SGX, however, can be extremely large if we wish to run existing unmodified binaries… ▽ More Enclaves, such as those enabled by Intel SGX, offer a hardware primitive for shielding user-level applications from the OS. While enclaves are a useful starting point, code running in the enclave requires additional checks whenever control or data is transferred to/from the untrusted OS. The enclave-OS interface on SGX, however, can be extremely large if we wish to run existing unmodified binaries inside enclaves. This paper presents Ratel, a dynamic binary translation engine running inside SGX enclaves on Linux. Ratel offers complete interposition, the ability to interpose on all executed instructions in the enclave and monitor all interactions with the OS. Instruction-level interposition offers a general foundation for implementing a large variety of inline security monitors in the future. We take a principled approach in explaining why complete interposition on SGX is challenging. We draw attention to 5 design decisions in SGX that create fundamental trade-offs between performance and ensuring complete interposition, and we explain how to resolve them in the favor of complete interposition. To illustrate the utility of the Ratel framework, we present the first attempt to offer binary compatibility with existing software on SGX. We report that Ratel offers binary compatibility with over 200 programs we tested, including micro-benchmarks and real applications such as Linux shell utilities. Runtimes for two programming languages, namely Python and R, tested with standard benchmarks work out-of-the-box on Ratel without any specialized handling. △ Less

Submitted 28 March, 2021; originally announced March 2021.

Comments: 24 pages, 11 figures, 10 tables. arXiv admin note: substantial text overlap with arXiv:2009.01144

Sovereign Smartphone: To Enjoy Freedom We Have to Control Our Phones

Authors: Friederike Groschupp, Moritz Schneider, Ivan Puddu, Shweta Shinde, Srdjan Capkun

Abstract: The majority of smartphones either run iOS or Android operating systems. This has created two distinct ecosystems largely controlled by Apple and Google - they dictate which applications can run, how they run, and what kind of phone resources they can access. Barring some exceptions in Android where different phone manufacturers may have influence, users, developers, and governments are left with… ▽ More The majority of smartphones either run iOS or Android operating systems. This has created two distinct ecosystems largely controlled by Apple and Google - they dictate which applications can run, how they run, and what kind of phone resources they can access. Barring some exceptions in Android where different phone manufacturers may have influence, users, developers, and governments are left with little to no choice. Specifically, users need to entrust their security and privacy to OS vendors and accept the functionality constraints they impose. Given the wide use of Android and iOS, immediately leaving these ecosystems is not practical, except in niche application areas. In this work, we draw attention to the magnitude of this problem and why it is an undesirable situation. As an alternative, we advocate the development of a new smartphone architecture that securely transfers the control back to the users while maintaining compatibility with the rich existing smartphone ecosystems. We propose and analyze one such design based on advances in trusted execution environments for ARM and RISC-V. △ Less

Submitted 4 February, 2021; originally announced February 2021.

Tunable, grating-gated, graphene-on-polyimide terahertz modulators

Authors: Alessandra Di Gaspare, Eva A. A. Pogna, Luca Salemi, Osman Balci, Alisson R. Cadore, Sachin M. Shinde, Lianhe Li, Cinzia di Franco, A. Giles Davies, Edmund Linfield, Andrea C. Ferrari, Gaetano Scamarcio, Miriam S. Vitiello

Abstract: We present an electrically switchable graphene terahertz (THz) modulator with a tunable-by-design optical bandwidth and we exploit it to compensate the cavity dispersion of a quantum cascade laser (QCL). Electrostatic gating is achieved by a metal-grating used as a gate electrode, with an HfO2/AlOx gate dielectric on top. This is patterned on a polyimide layer, which acts as a quarter wave resonan… ▽ More We present an electrically switchable graphene terahertz (THz) modulator with a tunable-by-design optical bandwidth and we exploit it to compensate the cavity dispersion of a quantum cascade laser (QCL). Electrostatic gating is achieved by a metal-grating used as a gate electrode, with an HfO2/AlOx gate dielectric on top. This is patterned on a polyimide layer, which acts as a quarter wave resonance cavity, coupled with an Au reflector underneath. We get 90% modulation depth of the intensity, combined with a 20 kHz electrical bandwidth in the 1.9 _ 2.7 THz range. We then integrate our modulator with a multimode THz QCL. By adjusting the modulator operational bandwidth, we demonstrate that the graphene modulator can partially compensates the QCL cavity dispersion, resulting in an integrated laser behaving as a stable frequency comb over 35% of the laser operational range, with 98 equidistant optical modes and with a spectral coverage of ~ 1.2 THz. This has significant potential for frontier applications in the terahertz, as tunable transformation-optics devices, active photonic components, adaptive and quantum optics, and as a metrological tool for spectroscopy at THz frequencies. △ Less

Submitted 22 November, 2020; originally announced December 2020.

Comments: 22 pages, 6 figures

Elasticlave: An Efficient Memory Model for Enclaves

Authors: Zhi**gcheng Yu, Shweta Shinde, Trevor E. Carlson, Prateek Saxena

Abstract: Trusted-execution environments (TEE), like Intel SGX, isolate user-space applications into secure enclaves without trusting the OS. Thus, TEEs reduce the trusted computing base, but add one to two orders of magnitude slow-down. The performance cost stems from a strict memory model, which we call the spatial isolation model, where enclaves cannot share memory regions with each other. In this work,… ▽ More Trusted-execution environments (TEE), like Intel SGX, isolate user-space applications into secure enclaves without trusting the OS. Thus, TEEs reduce the trusted computing base, but add one to two orders of magnitude slow-down. The performance cost stems from a strict memory model, which we call the spatial isolation model, where enclaves cannot share memory regions with each other. In this work, we present Elasticlave---a new TEE memory model that allows enclaves to selectively and temporarily share memory with other enclaves and the OS. Elasticlave eliminates the need for expensive data copy operations, while offering the same level of application-desired security as possible with the spatial model. We prototype Elasticlave design on an RTL-designed cycle-level RISC-V core and observe 1 to 2 orders of magnitude performance improvements over the spatial model implemented with the same processor configuration. Elasticlave has a small TCB. We find that its performance characteristics and hardware area footprint scale well with the number of shared memory regions it is configured to support. △ Less

Submitted 16 October, 2020; originally announced October 2020.

Binary Compatibility For SGX Enclaves

Authors: Shweta Shinde, **hua Cui, Satyaki Sen, **hai Yuan, Prateek Saxena

Abstract: Enclaves, such as those enabled by Intel SGX, offer a powerful hardware isolation primitive for application partitioning. To become universally usable on future commodity OSes, enclave designs should offer compatibility with existing software. In this paper, we draw attention to 5 design decisions in SGX that create incompatibility with existing software. These represent concrete starting points,… ▽ More Enclaves, such as those enabled by Intel SGX, offer a powerful hardware isolation primitive for application partitioning. To become universally usable on future commodity OSes, enclave designs should offer compatibility with existing software. In this paper, we draw attention to 5 design decisions in SGX that create incompatibility with existing software. These represent concrete starting points, we hope, for improvements in future TEEs. Further, while many prior works have offered partial forms of compatibility, we present the first attempt to offer binary compatibility with existing software on SGX. We present Ratel, a system that enables a dynamic binary translation engine inside SGX enclaves on Linux. Through the lens of Ratel, we expose the fundamental trade-offs between performance and complete mediation on the OS-enclave interface, which are rooted in the aforementioned 5 SGX design restrictions. We report on an extensive evaluation of Ratel on over 200 programs, including micro-benchmarks and real applications such as Linux utilities. △ Less

Submitted 2 September, 2020; originally announced September 2020.

Turbulent Jet: A DNS Study

Authors: Sachin Y. Shinde, Prasanth Prabhakaran, Roddam Narasimha

Abstract: The entrainment of ambient fluid into a turbulent shear flow has been a topic of wide interest for several decades. To estimate the entrainment of ambient fluid into turbulent jet, it is essential to define the boundary of the jet. The question arises as to what should be the appropriate criterion to determine the edge of the turbulent jet. From the present DNS simulations, we observe that there i… ▽ More The entrainment of ambient fluid into a turbulent shear flow has been a topic of wide interest for several decades. To estimate the entrainment of ambient fluid into turbulent jet, it is essential to define the boundary of the jet. The question arises as to what should be the appropriate criterion to determine the edge of the turbulent jet. From the present DNS simulations, we observe that there is a need to define two boundaries for the turbulent jet, namely, the Rotational/Irrotational (R/IR) interface termed here as "Outer boundary" and the Turbulent/Non-Turbulent (T/NT) interface as "Inner boundary". The main aim of the present paper is to identify the need for defining the two boundaries for the jet. We also present some interesting observations of the jet flow, essentially on self similarity and self preservation. △ Less

Submitted 14 February, 2020; originally announced February 2020.

Comments: arXiv admin note: text overlap with arXiv:1907.05421

HR-CAM: Precise Localization of Pathology Using Multi-level Learning in CNNs

Authors: Sumeet Shinde, Tanay Chougule, Jitender Saini, Madhura Ingalhalikar

Abstract: We propose a CNN based technique that aggregates feature maps from its multiple layers that can localize abnormalities with greater details as well as predict pathology under consideration. Existing class activation map** (CAM) techniques extract feature maps from either the final layer or a single intermediate layer to create the discriminative maps and then interpolate to upsample to the origi… ▽ More We propose a CNN based technique that aggregates feature maps from its multiple layers that can localize abnormalities with greater details as well as predict pathology under consideration. Existing class activation map** (CAM) techniques extract feature maps from either the final layer or a single intermediate layer to create the discriminative maps and then interpolate to upsample to the original image resolution. In this case, the subject specific localization is coarse and is unable to capture subtle abnormalities. To mitigate this, our method builds a novel CNN based discriminative localization model that we call high resolution CAM (HR-CAM), which accounts for layers from each resolution, therefore facilitating a comprehensive map that can delineate the pathology for each subject by combining low-level, intermediate as well as high-level features from the CNN. Moreover, our model directly provides the discriminative map in the resolution of the original image facilitating finer delineation of abnormalities. We demonstrate the working of our model on a simulated abnormalities data where we illustrate how the model captures finer details in the final discriminative maps as compared to current techniques. We then apply this technique: (1) to classify ependymomas from grade IV glioblastoma on T1-weighted contrast enhanced (T1-CE) MRI and (2) to predict Parkinson's disease from neuromelanin sensitive MRI. In all these cases we demonstrate that our model not only predicts pathologies with high accuracies, but also creates clinically interpretable subject specific high resolution discriminative localizations. Overall, the technique can be generalized to any CNN and carries high relevance in a clinical setting. △ Less

Submitted 23 September, 2019; originally announced September 2019.

Comments: Medical Image Computing and Computer Assisted Intervention, 2019

Keystone: An Open Framework for Architecting TEEs

Authors: Dayeol Lee, David Kohlbrenner, Shweta Shinde, Dawn Song, Krste Asanović

Abstract: Trusted execution environments (TEEs) are being used in all the devices from embedded sensors to cloud servers and encompass a range of cost, power constraints, and security threat model choices. On the other hand, each of the current vendor-specific TEEs makes a fixed set of trade-offs with little room for customization. We present Keystone -- the first open-source framework for building customiz… ▽ More Trusted execution environments (TEEs) are being used in all the devices from embedded sensors to cloud servers and encompass a range of cost, power constraints, and security threat model choices. On the other hand, each of the current vendor-specific TEEs makes a fixed set of trade-offs with little room for customization. We present Keystone -- the first open-source framework for building customized TEEs. Keystone uses simple abstractions provided by the hardware such as memory isolation and a programmable layer underneath untrusted components (e.g., OS). We build reusable TEE core primitives from these abstractions while allowing platform-specific modifications and application features. We showcase how Keystone-based TEEs run on unmodified RISC-V hardware and demonstrate the strengths of our design in terms of security, TCB size, execution of a range of benchmarks, applications, kernels, and deployment models. △ Less

Submitted 7 September, 2019; v1 submitted 23 July, 2019; originally announced July 2019.

Comments: 18 pages

Scalable Panel Fusion Using Distributed Min Cost Flow

Authors: Swapnil Shinde, Jukka Ranta, Paul Deitrick, Matthew Malloy

Abstract: Modern audience measurement requires combining observations from disparate panel datasets. Connecting and relating such panel datasets is a process termed panel fusion. This paper formalizes the panel fusion problem and presents a novel approach to solve it. We cast the panel fusion as a network flow problem, allowing the application of a rich body of research. In the context of digital audience m… ▽ More Modern audience measurement requires combining observations from disparate panel datasets. Connecting and relating such panel datasets is a process termed panel fusion. This paper formalizes the panel fusion problem and presents a novel approach to solve it. We cast the panel fusion as a network flow problem, allowing the application of a rich body of research. In the context of digital audience measurement, where panel sizes can grow into the tens of millions, we propose an efficient algorithm to partition the network into sub-problems. While the algorithm solves a relaxed version of the original problem, we provide conditions under which it guarantees optimality. We demonstrate our approach by fusing two real-world panel datasets in a distributed computing environment. △ Less

Submitted 11 July, 2019; originally announced July 2019.

A DNS Study of entrainment in an axisymmetric turbulent jet as an episodic process

Authors: Prasanth Prabhakaran, Sachin Shinde, Roddam Narasimha

Abstract: This investigation is based on a DNS of a steady self-preserving incompressible axisymmetric turbulent jet at a Reynolds number of 2400. The DNS data enable accurate maps of the outer irrotational flow field, and also the vorticity field in the turbulent core of the jet. It is found necessary to define two separate boundaries of the jet. The first is an inner boundary (turbulent/nonturbulent, T/NT… ▽ More This investigation is based on a DNS of a steady self-preserving incompressible axisymmetric turbulent jet at a Reynolds number of 2400. The DNS data enable accurate maps of the outer irrotational flow field, and also the vorticity field in the turbulent core of the jet. It is found necessary to define two separate boundaries of the jet. The first is an inner boundary (turbulent/nonturbulent, T/NT), from where vorticity rises steeply towards to the core. The second is an outer rotational/irrotational boundary, beyond which the flow may be considered irrotational. The velocity field beyond the outer boundary often has ordered, nearly irrotational circulatory motions. These can be shown, in simpler cases, to be the velocity field induced by one or more vorticity elements in a coherent structure in the turbulent core. A detailed examination of axial and diametral sections indicates that there are periods when there is a large inrush of ambient fluid into parts of the T/NT interface, which gets distorted into a gulf or well that can be both twisted and deep. Sections of these wells often appear as what may be called as lakes of irrotational fluid in diametral sections of the jet flow. Part of the inrushing fluid crosses the T/NT interface within the well and is entrained into the turbulent core, by a process that can legitimately be called nibbling. The duration of such an inrush process can be of the order up to 20 flow units and suggests that entrainment can be an episodic process in which an inrush event accelerates ambient fluid even as it is pushed into a narrowing gulf, where it penetrates the T/NT interface of the gulf by nibbling. In the turbulent round jet, the entrainment burstiness is found to be of order 0.75, comparable to the momentum flux burstiness found in a turbulent boundary layer. △ Less

Submitted 11 July, 2019; originally announced July 2019.

Comments: 25 pages, 18 figures

Quantitative Verification of Neural Networks And its Security Applications

Authors: Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena

Abstract: Neural networks are increasingly employed in safety-critical domains. This has prompted interest in verifying or certifying logically encoded properties of neural networks. Prior work has largely focused on checking existential properties, wherein the goal is to check whether there exists any input that violates a given property of interest. However, neural network training is a stochastic process… ▽ More Neural networks are increasingly employed in safety-critical domains. This has prompted interest in verifying or certifying logically encoded properties of neural networks. Prior work has largely focused on checking existential properties, wherein the goal is to check whether there exists any input that violates a given property of interest. However, neural network training is a stochastic process, and many questions arising in their analysis require probabilistic and quantitative reasoning, i.e., estimating how many inputs satisfy a given property. To this end, our paper proposes a novel and principled framework to quantitative verification of logical properties specified over neural networks. Our framework is the first to provide PAC-style soundness guarantees, in that its quantitative estimates are within a controllable and bounded error from the true count. We instantiate our algorithmic framework by building a prototype tool called NPAQ that enables checking rich properties over binarized neural networks. We show how emerging security analyses can utilize our framework in 3 concrete point applications: quantifying robustness to adversarial inputs, efficacy of trojan attacks, and fairness/bias of given neural networks. △ Less

Submitted 25 June, 2019; originally announced June 2019.

Practical Verifiable In-network Filtering for DDoS defense

Authors: Deli Gong, Muoi Tran, Shweta Shinde, Hao **, Vyas Sekar, Prateek Saxena, Min Suk Kang

Abstract: In light of ever-increasing scale and sophistication of modern DDoS attacks, it is time to revisit in-network filtering or the idea of empowering DDoS victims to install in-network traffic filters in the upstream transit networks. Recent proposals show that filtering DDoS traffic at a handful of large transit networks can handle volumetric DDoS attacks effectively. However, the innetwork filtering… ▽ More In light of ever-increasing scale and sophistication of modern DDoS attacks, it is time to revisit in-network filtering or the idea of empowering DDoS victims to install in-network traffic filters in the upstream transit networks. Recent proposals show that filtering DDoS traffic at a handful of large transit networks can handle volumetric DDoS attacks effectively. However, the innetwork filtering primitive can also be misused. Transit networks can use the in-network filtering service as an excuse for any arbitrary packet drops made for their own benefit. For example, transit networks may intentionally execute filtering services poorly or unfairly to discriminate their competing neighbor ASes while claiming that they drop packets for the sake of DDoS defense. We argue that it is due to the lack of verifiable filtering - i.e., no one can check if a transit network executes the filter rules correctly as requested by the DDoS victims. To make in-network filtering a more robust defense primitive, in this paper, we propose a verifiable in-network filtering, called VIF, that exploits emerging hardware-based trusted execution environments (TEEs) and offers filtering verifiability to DDoS victims and neighbor ASes. Our proof of concept demonstrates that a VIF filter implementation on commodity servers with TEE support can handle traffic at line rate (e.g., 10 Gb/s) and execute up to 3,000 filter rules. We show that VIF can easily scale to handle larger traffic volume (e.g., 500 Gb/s) and more complex filtering operations (e.g., 150,000 filter rules) by parallelizing the TEE-based filters. As a practical deployment model, we suggest that Internet exchange points (IXPs) are the ideal candidates for the early adopters of our verifiable filters due to their central locations and flexible software-defined architecture. △ Less

Submitted 14 January, 2019; v1 submitted 3 January, 2019; originally announced January 2019.

Privado: Practical and Secure DNN Inference with Enclaves

Authors: Karan Grover, Shruti Tople, Shweta Shinde, Ranjita Bhagwan, Ramachandran Ramjee

Abstract: Cloud providers are extending support for trusted hardware primitives such as Intel SGX. Simultaneously, the field of deep learning is seeing enormous innovation as well as an increase in adoption. In this paper, we ask a timely question: "Can third-party cloud services use Intel SGX enclaves to provide practical, yet secure DNN Inference-as-a-service?" We first demonstrate that DNN models executi… ▽ More Cloud providers are extending support for trusted hardware primitives such as Intel SGX. Simultaneously, the field of deep learning is seeing enormous innovation as well as an increase in adoption. In this paper, we ask a timely question: "Can third-party cloud services use Intel SGX enclaves to provide practical, yet secure DNN Inference-as-a-service?" We first demonstrate that DNN models executing inside enclaves are vulnerable to access pattern based attacks. We show that by simply observing access patterns, an attacker can classify encrypted inputs with 97% and 71% attack accuracy for MNIST and CIFAR10 datasets on models trained to achieve 99% and 79% original accuracy respectively. This motivates the need for PRIVADO, a system we have designed for secure, easy-to-use, and performance efficient inference-as-a-service. PRIVADO is input-oblivious: it transforms any deep learning framework that is written in C/C++ to be free of input-dependent access patterns thus eliminating the leakage. PRIVADO is fully-automated and has a low TCB: with zero developer effort, given an ONNX description of a model, it generates compact and enclave-compatible code which can be deployed on an SGX cloud platform. PRIVADO incurs low performance overhead: we use PRIVADO with Torch framework and show its overhead to be 17.18% on average on 11 different contemporary neural networks. △ Less

Submitted 5 September, 2019; v1 submitted 1 October, 2018; originally announced October 2018.

Comments: 13 pages, 5 figures

Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution

Authors: Shiqi Shen, Soundarya Ramesh, Shweta Shinde, Abhik Roychoudhury, Prateek Saxena

Abstract: Symbolic execution is a powerful technique for program analysis. However, it has many limitations in practical applicability: the path explosion problem encumbers scalability, the need for language-specific implementation, the inability to handle complex dependencies, and the limited expressiveness of theories supported by underlying satisfiability checkers. Often, relationships between variables… ▽ More Symbolic execution is a powerful technique for program analysis. However, it has many limitations in practical applicability: the path explosion problem encumbers scalability, the need for language-specific implementation, the inability to handle complex dependencies, and the limited expressiveness of theories supported by underlying satisfiability checkers. Often, relationships between variables of interest are not expressible directly as purely symbolic constraints. To this end, we present a new approach -- neuro-symbolic execution -- which learns an approximation of the relationship as a neural net. It features a constraint solver that can solve mixed constraints, involving both symbolic expressions and neural network representation. To do so, we envision such constraint solving as procedure combining SMT solving and gradient-based optimization. We demonstrate the utility of neuro-symbolic execution in constructing exploits for buffer overflows. We report success on 13/14 programs which have difficult constraints, known to require specialized extensions to symbolic execution. In addition, our technique solves $100$\% of the given neuro-symbolic constraints in $73$ programs from standard verification and invariant synthesis benchmarks. △ Less

Submitted 2 July, 2018; originally announced July 2018.

BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof

Authors: Shweta Shinde, Shengyi Wang, **hai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena

Abstract: New trusted computing primitives such as Intel SGX have shown the feasibility of running user-level applications in enclaves on a commodity trusted processor without trusting a large OS. However, the OS can still compromise the integrity of an enclave by tampering with the system call return values. In fact, it has been shown that a subclass of these attacks, called Iago attacks, enables arbitrary… ▽ More New trusted computing primitives such as Intel SGX have shown the feasibility of running user-level applications in enclaves on a commodity trusted processor without trusting a large OS. However, the OS can still compromise the integrity of an enclave by tampering with the system call return values. In fact, it has been shown that a subclass of these attacks, called Iago attacks, enables arbitrary logic execution in enclave programs. Existing enclave systems have very large TCB and they implement ad-hoc checks at the system call interface which are hard to verify for completeness. To this end, we present BesFS--the first filesystem interface which provably protects the enclave integrity against a completely malicious OS. We prove 167 lemmas and 2 key theorems in 4625 lines of Coq proof scripts, which directly proves the safety properties of the BesFS specification. BesFS comprises of 15 APIs with compositional safety and is expressive enough to support 31 real applications we test. BesFS integrates into existing SGX-enabled applications with minimal impact to TCB. BesFS can serve as a reference implementation for hand-coded API checks. △ Less

Submitted 19 September, 2019; v1 submitted 2 July, 2018; originally announced July 2018.

Comments: Camera-ready version of the paper to appear at USENIX Security Symposium 2020

First principles study on small ZrAln and HfAln clusters: structural, stability, electronic states and CO2 adsorption

Authors: Hardik L. Kagdada, Shweta D. Dabhi, Venu Mankad, Satyam M. Shinde, Prafulla K. Jha

Abstract: We report a first principles study based on density functional theory on the structural and electronic properties of transition metal Zr and Hf doped small aluminum clusters with 1 to 7 aluminum atoms. We have used B3PW91 with LANL2DZ basis set in Gaussian 09 package. The stability analysis reveals that the ZrAl4 and HfAl4 structures with C2v symmetry and square pyramid geometry are lowest energy… ▽ More We report a first principles study based on density functional theory on the structural and electronic properties of transition metal Zr and Hf doped small aluminum clusters with 1 to 7 aluminum atoms. We have used B3PW91 with LANL2DZ basis set in Gaussian 09 package. The stability analysis reveals that the ZrAl4 and HfAl4 structures with C2v symmetry and square pyramid geometry are lowest energy structures. The most stable structures in ZrAl5 and HfAl5 are distorted tetrahedron type structure with symmetry C1. The binding energies per atom for transition metal doped Aln clusters increases with the cluster size, while the second order difference in total energy show oscillatory behavior with even and odd cluster size. The HOMO and LUMO gap for ZrAln is larger than the HfAln clusters except for n being 1 and 3. The HfAl6 has more tendency to accept or give away electrons. The negative charge exists on Zr and Hf indicating that the electron transfers from Al atom to transition metal, Zr and Hf. The thermodynamical analysis suggest that the HfAl6 cluster has highest exothermicity compared to not only all considered Al clusters but also other transition metal doped Al clusters reported in J. Phys. Chem. C, 120, 10027, 2016. △ Less

Submitted 27 June, 2018; originally announced June 2018.

Comments: 22 pages, 6 figures, 3 tables

Recent advances in content based video copy detection

Authors: Sanket Shinde, Girija Chiddarwar

Abstract: With the immense number of videos being uploaded to the video sharing sites, issue of copyright infringement arises with uploading of illicit copies or transformed versions of original video. Thus safeguarding copyright of digital media has become matter of concern. To address this concern, it is obliged to have a video copy detection system which is sufficiently robust to detect these transformed… ▽ More With the immense number of videos being uploaded to the video sharing sites, issue of copyright infringement arises with uploading of illicit copies or transformed versions of original video. Thus safeguarding copyright of digital media has become matter of concern. To address this concern, it is obliged to have a video copy detection system which is sufficiently robust to detect these transformed videos with ability to pinpoint location of copied segments. This paper outlines recent advancement in content based video copy detection, mainly focusing on different visual features employed by video copy detection systems. Finally we evaluate performance of existing video copy detection systems. △ Less

Submitted 28 October, 2016; originally announced October 2016.

Deep Residual Networks with Exponential Linear Unit

Authors: Anish Shah, Eashan Kadam, Hena Shah, Sameer Shinde, Sandip Shingade

Abstract: Very deep convolutional neural networks introduced new problems like vanishing gradient and degradation. The recent successful contributions towards solving these problems are Residual and Highway Networks. These networks introduce skip connections that allow the information (from the input or those learned in earlier layers) to flow more into the deeper layers. These very deep models have lead to… ▽ More Very deep convolutional neural networks introduced new problems like vanishing gradient and degradation. The recent successful contributions towards solving these problems are Residual and Highway Networks. These networks introduce skip connections that allow the information (from the input or those learned in earlier layers) to flow more into the deeper layers. These very deep models have lead to a considerable decrease in test errors, on benchmarks like ImageNet and COCO. In this paper, we propose the use of exponential linear unit instead of the combination of ReLU and Batch Normalization in Residual Networks. We show that this not only speeds up learning in Residual Networks but also improves the accuracy as the depth increases. It improves the test error on almost all data sets, like CIFAR-10 and CIFAR-100 △ Less

Submitted 5 October, 2016; v1 submitted 14 April, 2016; originally announced April 2016.

Comments: submitted in Vision Net 2016, Jaipur, India

Investigating the Temperature Effects on Resistive Random Access Memory (RRAM) Devices

Authors: T. D. Dongale, K. V. Khot, S. V. Mohite, S. S. Khandagale, S. S. Shinde, A. V. Moholkar, K. Y. Rajpure, P. N. Bhosale, P. S. Patil, P. K. Gaikwad, R. K. Kamat

Abstract: In this paper, we report the effect of filament radius and filament resistivity on the saturated temperature of ZnO, TiO2, WO3 and HfO2 Resistive Random Access Memory (RRAM) devices. We resort to the thermal reaction model of RRAM for the present analysis. The results substantiate decrease in saturated temperature with increase in the radius and resistivity of filament for the investigated RRAM de… ▽ More In this paper, we report the effect of filament radius and filament resistivity on the saturated temperature of ZnO, TiO2, WO3 and HfO2 Resistive Random Access Memory (RRAM) devices. We resort to the thermal reaction model of RRAM for the present analysis. The results substantiate decrease in saturated temperature with increase in the radius and resistivity of filament for the investigated RRAM devices. Moreover, a sudden change in the saturated temperature at a lower value of filament radius and resistivity is observed as against the steady change at the medium and higher value of the filament radius and resistivity. Results confirm the dependence of saturated temperature on the filament size and resistivity in RRAM. △ Less

Submitted 26 February, 2016; originally announced February 2016.

Comments: 10 Pages, 3 figures and 3 tables

Investigating Reliability Aspects of Memristor based RRAM with Reference to Write Voltage and Frequency

Authors: T. D. Dongale, K. V. Khot, S. V. Mohite, N. K. Desai, S. S. Shinde, A. V. Moholkar, K. Y. Rajpure, P. N. Bhosale, P. S. Patil, P. K. Gaikwad, R. K. Kamat

Abstract: In this paper, we report the effect of write voltage and frequency on memristor based Resistive Random Access Memory (RRAM). The above said parameters have been investigated on the linear drift model of memristor. With a variation of write voltage from 0.2V to 1.2V and a subsequent frequency modulation from 1, 2, 4, 10, 100 and 200 Hz the corresponding effects on memory window, Low Resistance Stat… ▽ More In this paper, we report the effect of write voltage and frequency on memristor based Resistive Random Access Memory (RRAM). The above said parameters have been investigated on the linear drift model of memristor. With a variation of write voltage from 0.2V to 1.2V and a subsequent frequency modulation from 1, 2, 4, 10, 100 and 200 Hz the corresponding effects on memory window, Low Resistance State (LRS) and High Resistance State (HRS) have been reported. Thus the lifetime (τ) reliability analysis of memristor based RRAM is carried out using above results. It is found that, the HRS is independent of write voltage, whereas LRS shows dependency on write voltage and frequency. The simulation results showcase that the memristor possess higher memory window and lifetime (τ) in the higher voltage with lower frequency region, which has been attributed to the fewer data losses in the memory architecture. △ Less

Submitted 5 February, 2016; originally announced February 2016.

Comments: Pages-11, figures-6

MSC Class: 00A72; 68M1 ACM Class: B.3.4

Preventing Your Faults From Telling Your Secrets: Defenses Against Pigeonhole Attacks

Authors: Shweta Shinde, Zheng Leong Chua, Viswesh Narayanan, Prateek Saxena

Abstract: New hardware primitives such as Intel SGX secure a user-level process in presence of an untrusted or compromised OS. Such "enclaved execution" systems are vulnerable to several side-channels, one of which is the page fault channel. In this paper, we show that the page fault side-channel has sufficient channel capacity to extract bits of encryption keys from commodity implementations of cryptograph… ▽ More New hardware primitives such as Intel SGX secure a user-level process in presence of an untrusted or compromised OS. Such "enclaved execution" systems are vulnerable to several side-channels, one of which is the page fault channel. In this paper, we show that the page fault side-channel has sufficient channel capacity to extract bits of encryption keys from commodity implementations of cryptographic routines in OpenSSL and Libgcrypt --- leaking 27% on average and up to 100% of the secret bits in many case-studies. To mitigate this, we propose a software-only defense that masks page fault patterns by determinising the program's memory access behavior. We show that such a technique can be built into a compiler, and implement it for a subset of C which is sufficient to handle the cryptographic routines we study. This defense when implemented generically can have significant overhead of up to 4000X, but with help of developer-assisted compiler optimizations, the overhead reduces to at most 29.22% in our case studies. Finally, we discuss scope for hardware-assisted defenses, and show one solution that can reduce overheads to 6.77% with support from hardware changes. △ Less

Submitted 12 January, 2016; v1 submitted 16 June, 2015; originally announced June 2015.

A Novel Approach For Generating Face Template Using Bda

Authors: Shraddha S. Shinde, Prof. Anagha P. Khedkar

Abstract: In identity management system, commonly used biometric recognition system needs attention towards issue of biometric template protection as far as more reliable solution is concerned. In view of this biometric template protection algorithm should satisfy security, discriminability and cancelability. As no single template protection method is capable of satisfying the basic requirements, a novel te… ▽ More In identity management system, commonly used biometric recognition system needs attention towards issue of biometric template protection as far as more reliable solution is concerned. In view of this biometric template protection algorithm should satisfy security, discriminability and cancelability. As no single template protection method is capable of satisfying the basic requirements, a novel technique for face template generation and protection is proposed. The novel approach is proposed to provide security and accuracy in new user enrollment as well as authentication process. This novel technique takes advantage of both the hybrid approach and the binary discriminant analysis algorithm. This algorithm is designed on the basis of random projection, binary discriminant analysis and fuzzy commitment scheme. Three publicly available benchmark face databases are used for evaluation. The proposed novel technique enhances the discriminability and recognition accuracy by 80% in terms of matching score of the face images and provides high security. △ Less

Submitted 30 December, 2013; originally announced January 2014.

Comments: 11 pages, ITCSE 2013 conference

A Novel Scheme for Generating Secure Face Templates Using BDA

Authors: Shraddha S. Shinde, Prof. Anagha P. Khedkar

Abstract: In identity management system, frequently used biometric recognition system needs awareness towards issue of protecting biometric template as far as more reliable solution is apprehensive. In sight of this biometric template protection algorithm should gratify the basic requirements viz. security, discriminability and cancelability. As no single template protection method is capable of satisfying… ▽ More In identity management system, frequently used biometric recognition system needs awareness towards issue of protecting biometric template as far as more reliable solution is apprehensive. In sight of this biometric template protection algorithm should gratify the basic requirements viz. security, discriminability and cancelability. As no single template protection method is capable of satisfying these requirements, a novel scheme for face template generation and protection is proposed. The novel scheme is proposed to provide security and accuracy in new user enrolment and authentication process. This novel scheme takes advantage of both the hybrid approach and the binary discriminant analysis algorithm. This algorithm is designed on the basis of random projection, binary discriminant analysis and fuzzy commitment scheme. Publicly available benchmark face databases (FERET, FRGC, CMU-PIE) and other datasets are used for evaluation. The proposed novel scheme enhances the discriminability and recognition accuracy in terms of matching score of the face images for each stage and provides high security against potential attacks namely brute force and smart attacks. In this paper, we discuss results viz. averages matching score, computation time and security for hybrid approach and novel approach. △ Less

Submitted 29 December, 2013; originally announced December 2013.

Comments: 07 pages,IJASCSE

A Pitching Foil with a Flexible flap Creates an Orderly Jet

Authors: Sachin Y. Shinde, Jaywant H. Arakeri

Abstract: We experimentally studied the effect of flexibility on the flow produced by sinusoidally pitching foil in quiescent fluid. The rigid foil produces a weak, divergent and meandering jet. On the contrary, the foil with a flexible flap produces an orderly, narrow, coherent jet. It has been observed that such orderly jet is produced when the flap has appropriate flexibility. The jet produced in quiesce… ▽ More We experimentally studied the effect of flexibility on the flow produced by sinusoidally pitching foil in quiescent fluid. The rigid foil produces a weak, divergent and meandering jet. On the contrary, the foil with a flexible flap produces an orderly, narrow, coherent jet. It has been observed that such orderly jet is produced when the flap has appropriate flexibility. The jet produced in quiescent fluid by the flexible foil is accompanied by a corresponding thrust. In that sense, this is simple and different type of hovering. △ Less

Submitted 18 October, 2010; originally announced October 2010.

Comments: Two videos are uploaded: 1) "FLEXIBLE_FOIL_JET" in MPEG1 format 2) "FLEXIBLE_FOIL_JET_long" in MPEG4 format for APS-DFD conference - Gallery of fluid motion

A Design of Paraunitary Polyphase Matrices of Rational Filter Banks Based on (P,Q) Shift-Invariant Systems

Authors: Sudarshan Shinde

Abstract: In this paper we present a method to design paraunitary polyphase matrices of critically sampled rational filter banks. The method is based on (P,Q) shift-invariant systems, and so any kind of rational splitting of the frequency spectrum can be achieved using this method. Ideal (P,Q) shift-invariant system with smallest P and Q that map of a band of input spectrum to the output spectrum are obtain… ▽ More In this paper we present a method to design paraunitary polyphase matrices of critically sampled rational filter banks. The method is based on (P,Q) shift-invariant systems, and so any kind of rational splitting of the frequency spectrum can be achieved using this method. Ideal (P,Q) shift-invariant system with smallest P and Q that map of a band of input spectrum to the output spectrum are obtained. A new set of filters is obtained that characterize a (P,Q) shift-invariant system. Ideal frequency spectrum of these filters are obtained using ideal $(P,Q)$ shift-invariant systems. Actual paraunitary polyphase matrices are then obtained by minimizing the stopband energies of these filters against the parameters of the paraunitary polyphase matrices. △ Less

Submitted 27 April, 2010; originally announced April 2010.

Linear magnetosonic waves in solar wind flow tubes

Authors: Suresh Chandra, S. V. Shinde, P. G. Musrif, Monika Sharma

Abstract: Nakariakov et al. (1996) investigated the linear magnetosonic waves trapped within solar wind flow tubes, where they accounted for a slab having boundaries at $x = \pm d$ and extended up to infinity in the $y$ and $z$ directions. Srivastava and Dwivedi (2006) claimed to extend that work by considering a two-dimensional slab. We find that the work of Srivastava and Dwivedi (2006) is not for a two… ▽ More Nakariakov et al. (1996) investigated the linear magnetosonic waves trapped within solar wind flow tubes, where they accounted for a slab having boundaries at $x = \pm d$ and extended up to infinity in the $y$ and $z$ directions. Srivastava and Dwivedi (2006) claimed to extend that work by considering a two-dimensional slab. We find that the work of Srivastava and Dwivedi (2006) is not for a two-dimensional slab and has a number of discrepancies. Further, their results for body waves are not reliable. △ Less

Submitted 21 January, 2010; originally announced January 2010.

Comments: 4 pages

Two channel paraunitary filter banks based on linear canonical transform

Authors: Sudarshan Shinde

Abstract: In this paper a two channel paraunitary filter bank is proposed, which is based on linear canonical transform, instead of discrete Fourier transform. Input-output relation for such a filter bank are derived in terms of polyphase matrices and modulation matrices. It is shown that like conventional filter banks, the LCT based paraunitary filter banks need only one filter to be designed and rest of… ▽ More In this paper a two channel paraunitary filter bank is proposed, which is based on linear canonical transform, instead of discrete Fourier transform. Input-output relation for such a filter bank are derived in terms of polyphase matrices and modulation matrices. It is shown that like conventional filter banks, the LCT based paraunitary filter banks need only one filter to be designed and rest of the filters can be obtained from it. It is also shown that LCT based paraunitary filter banks can be designed by using conventional power-symmetric filter design in Fourier domain. △ Less

Submitted 9 September, 2009; originally announced September 2009.

Comments: 10 pages, IEEE format

Large Second Harmonic Kerr rotation in GaFeO3 thin films on YSZ buffered Silicon

Authors: Darshan C. Kundaliya, S. B. Ogale, S. Dhar, K. F. McDonald, E. Knoesel, T. Osedach, S. E. Lofland, S. R. Shinde, T. Venkatesan

Abstract: Epitaxial thin films of gallium iron oxide (GaFeO3) are grown on (001) silicon by pulsed laser deposition (PLD) using yttrium-stabilized zirconia (YSZ) buffer layer. The crystalline template buffer layer is in-situ PLD grown through the step of high temperature strip** of the intrinsic silicon surface oxide. The X-ray diffraction pattern shows c-axis orientation of YSZ and b-axis orientation o… ▽ More Epitaxial thin films of gallium iron oxide (GaFeO3) are grown on (001) silicon by pulsed laser deposition (PLD) using yttrium-stabilized zirconia (YSZ) buffer layer. The crystalline template buffer layer is in-situ PLD grown through the step of high temperature strip** of the intrinsic silicon surface oxide. The X-ray diffraction pattern shows c-axis orientation of YSZ and b-axis orientation of GaFeO3 on Si (100) substrate. The ferromagnetic transition temperature (TC ~ 215 K) is in good agreement with the bulk data. The films show a large nonlinear second harmonic Kerr rotation of ~15 degrees in the ferromagnetic state. △ Less

Submitted 5 August, 2005; originally announced August 2005.

Comments: 16 pages, 4 figures, To be published in J. Magn. Magn. Mat

Percolative Ferromagnetism in Anatase Co:TiO2

Authors: S. R. Shinde, S. B. Ogale, Abhijit S. Ogale, S. J. Welz, A. Lussier, Darshan C. Kundaliya, H. Zheng, S. Dhar, M. S. R. Rao, R. Ramesh, Y. U. Idzerda, N. D. Browning, T. Venkatesan

Abstract: We revisit the most widely investigated and controversial oxide diluted magnetic semiconductor (DMS), Co:TiO2, with a new high temperature film growth, and show that the corresponding material is not only an intrinsic DMS ferromagnet, but also supports a percolative mechanism of ferromagnetism. We establish the uniformity of dopant distribution across the film cross section by Z-contrast imaging… ▽ More We revisit the most widely investigated and controversial oxide diluted magnetic semiconductor (DMS), Co:TiO2, with a new high temperature film growth, and show that the corresponding material is not only an intrinsic DMS ferromagnet, but also supports a percolative mechanism of ferromagnetism. We establish the uniformity of dopant distribution across the film cross section by Z-contrast imaging via scanning transmission electron microscopy (STEM) and electron energy loss spectroscopy (EELS) at spatial resolution of 0.4 nm and the oxidized 2+ valence state of cobalt by x-ray absorption spectroscopy (XAS). The dependence of magnetic properties on cobalt concentration is consistent with the defect polaron percolation model. The peculiar increase in the transport activation energy above a specific cobalt concentration further emphasizes the polaron contribution to magnetic order. △ Less

Submitted 10 May, 2005; originally announced May 2005.

Comments: 21 pages, 5 figures