scholarly journals Interpretable noninterference measurement and its application to processor designs

2021 ◽  
Vol 5 (OOPSLA) ◽  
pp. 1-30
Author(s):  
Ziqiao Zhou ◽  
Michael K. Reiter

Noninterference measurement quantifies the secret information that might leak to an adversary from what the adversary can observe and influence about the computation. Static and high-fidelity noninterference measurement has been difficult to scale to complex computations, however. This paper scales a recent framework for noninterference measurement to the open-source RISC-V BOOM core as specified in Verilog, through three key innovations: logically characterizing the core’s execution incrementally, applying specific optimizations between each cycle; permitting information to be declassified, to focus leakage measurement to only secret information that cannot be inferred from the declassified information; and interpreting leakage measurements for the analyst in terms of simple rules that characterize when leakage occurs. Case studies on cache-based side channels generally, and on specific instances including Spectre attacks, show that the resulting toolchain, called DINoMe, effectively scales to this modern processor design.

Author(s):  
Wei Zhang ◽  
Saad Ahmed ◽  
Jonathan Hong ◽  
Zoubeida Ounaies ◽  
Mary Frecker

Different types of active materials have been used to actuate origami-inspired self-folding structures. To model the highly nonlinear deformation and material responses, as well as the coupled field equations and boundary conditions of such structures, high-fidelity models such as finite element (FE) models are needed but usually computationally expensive, which makes optimization intractable. In this paper, a computationally efficient two-stage optimization framework is developed as a systematic method for the multi-objective designs of such multifield self-folding structures where the deformations are concentrated in crease-like areas, active and passive materials are assumed to behave linearly, and low- and high-fidelity models of the structures can be developed. In Stage 1, low-fidelity models are used to determine the topology of the structure. At the end of Stage 1, a distance measure [Formula: see text] is applied as the metric to determine the best design, which then serves as the baseline design in Stage 2. In Stage 2, designs are further optimized from the baseline design with greatly reduced computing time compared to a full FEA-based topology optimization. The design framework is first described in a general formulation. To demonstrate its efficacy, this framework is implemented in two case studies, namely, a three-finger soft gripper actuated using a PVDF-based terpolymer, and a 3D multifield example actuated using both the terpolymer and a magneto-active elastomer, where the key steps are elaborated in detail, including the variable filter, metrics to select the best design, determination of design domains, and material conversion methods from low- to high-fidelity models. In this paper, analytical models and rigid body dynamic models are developed as the low-fidelity models for the terpolymer- and MAE-based actuations, respectively, and the FE model of the MAE-based actuation is generalized from previous work. Additional generalizable techniques to further reduce the computational cost are elaborated. As a result, designs with better overall performance than the baseline design were achieved at the end of Stage 2 with computing times of 15 days for the gripper and 9 days for the multifield example, which would rather be over 3 and 2 months for full FEA-based optimizations, respectively. Tradeoffs between the competing design objectives were achieved. In both case studies, the efficacy and computational efficiency of the two-stage optimization framework are successfully demonstrated.


Author(s):  
Rompapas Damien Constantine ◽  
Daniel Flores Quiros ◽  
Charlton Rodda ◽  
Bryan Christopher Brown ◽  
Noah Benjamin Zerkin ◽  
...  

Author(s):  
Damien Rompapas ◽  
Charlton Rodda ◽  
Bryan Christopher Brown ◽  
Noah Benjamin Zerkin ◽  
Alvaro Cassinelli

2018 ◽  
Vol 32 (5) ◽  
pp. 23-25 ◽  
Author(s):  
Lucie Cuvelier

Purpose This paper aims to review the latest management developments across the globe and pinpoint practical implications from cutting-edge research and case studies. Design/methodology/approach This briefing is prepared by an independent writer who adds their own impartial comments and places the articles in context. Findings An operative approach is described that is designed to structure the debriefing along three axes. Practical implications The paper provides strategic insights and practical thinking that have influenced some of the world’s leading organizations. Originality/value The briefing saves busy executives and researchers hours of reading time by selecting only the very best, most pertinent information and presenting it in a condensed and easy-to-digest format.


2018 ◽  
Author(s):  
John P Wilson

This paper summarizes the current state-of-the-art in geomorphometry and describes the innovations that are close at hand and will be required to push digital terrain modeling forward in the future. These innovations will draw on concepts and methods from computer science and the spatial sciences and require greater collaboration to produce “actionable” knowledge and outcomes. The key innovations include rediscovering and using what we already know, developing new digital terrain modeling methods, clarifying and strengthening the role of theory, developing high-fidelity DEMs, developing and embracing new visualization methods, adopting new computational approaches, and making better use of provenance, credibility, and application-content knowledge.


Author(s):  
Svetlana Obydenkova ◽  
Nicholas C. Anzalone ◽  
Joshua M. Pearce

Purpose Isolated communities face a variety of inconveniences including severe remoteness, poor roads and extreme climate conditions, resulting in the lack of security of supply chains and exorbitant prices for cargo delivery. This paper aims to investigate the present advantages and prospects of applying 3-D printing to improve economics and everyday life of remote communities, reindeer herder case taken as an example. Design/methodology/approach This study covers the use of a low-cost open-source 3-D printer (RepRap) capable of fused filament fabrication to reduce operating costs for nomadic reindeer herder groups. Three case studies are provided for reindeer-specific applications to probe economic and technical viability of the technology, namely, ear-tags, electric fence components and lasso accessories. Findings 3-D printed objects feature technical characteristics similar to those of analogues available on the market while reducing the price by 63 per cent. Distributed 3-D printing reduces the cost of raw materials by 68 per cent and shipping costs by 50 because of lower trip frequency. If all reindeer herders globally were to adopt distributed manufacturing of the three aforementioned sample items only, their annual savings from such solution would amount to US$2m. The paper discovers other economic, entrepreneurial, technical and environmental opportunities offered by 3-D printing put to service the needs of remote communities. Research limitations As the paper is the first-ever study of 3-D printing potential applied to the reindeer husbandry case, it is based on a more thorough analysis of the techno-economic feasibility of the technology, while cultural and entrepreneurial factors have been discussed as preconditions only. Practical implications The paper might serve as a valuable source of information for entrepreneurs, as well as for students and academics for further case studies in this area. Originality/value In remote conditions, 3-D printing offers a more sustainable way of good manufacturing. Numerous open source designs already available for specialists, financial effectiveness, environmental benefits and vast opportunities for entrepreneurs are among the most promising advantages of the technology.


2011 ◽  
pp. 641-658
Author(s):  
Vladimir Tosic ◽  
Wei Ma ◽  
Babak Pagurek ◽  
Bernard Pagurek ◽  
Hanan Lutfiyya

The Web Service Offerings Infrastructure (WSOI) is a monitoring and management infrastructure for the Web Service Offerings Language (WSOL). It extends Apache Axis, an open-source tool for hosting Web services. We present technical details of several WSOI solutions for monitoring Web Services. To pass management information among management parties, we built WSOI serializer and WSOI deserializer modules converting data between formats of Axis’ MessageContext properties and SOAP headers. To perform different monitoring activities for different WSOL service offerings, we implemented Web Service Offering Descriptor (WSOD) as a complement to Axis’ Web Service Deployment Descriptor (WSDD) component. To represent run-time values of WSOL-related management information, we developed WSOI management information model. All these solutions were verified with a prototype implementation of WSOI 2.0 and validated on case studies.


Author(s):  
Vladimir Tosic ◽  
Wei Ma ◽  
Babak Esfandiari ◽  
Bernard Pagurek ◽  
Hanan Lutfiyya

The Web Service Offerings Infrastructure (WSOI) is a monitoring and management infrastructure for the Web Service Offerings Language (WSOL). It extends Apache Axis, an open-source tool for hosting Web services. We present technical details of several WSOI solutions for monitoring Web Services. To pass management information among management parties, we built WSOI serializer and WSOI deserializer modules converting data between formats of Axis’ MessageContext properties and SOAP headers. To perform different monitoring activities for different WSOL service offerings, we implemented Web Service Offering Descriptor (WSOD) as a complement to Axis’ Web Service Deployment Descriptor (WSDD) component. To represent run-time values of WSOL-related management information, we developed WSOI management information model. All these solutions were verified with a prototype implementation of WSOI 2.0 and validated on case studies.


Author(s):  
Fábio Alexandre Caravieri Modesto

Open Wonderland is a Java open source toolkit for creating collaborative 3D virtual worlds. Within those worlds, users can communicate with high-fidelity, immersive audio, share live desktop applications, and collaborate in an education, business, or government context. Wonderland is completely extensible; developers and graphic artists can extend its functionality to create entirely new worlds and add new features to existing worlds. The vision for Open Wonderland is to provide an environment that is robust enough in terms of security, scalability, and functionality that organizations can rely on it as a place to conduct real business or education. Organizations should be able to use Wonderland to create a virtual presence to better communicate with students, customers, partners, or friends. Individuals should also be able to tailor portions of the world to adapt to their needs and to express their personal style.


Sign in / Sign up

Export Citation Format

Share Document