scholarly journals SCALPEL: Exploring the Limits of Tag-enforced Compartmentalization

2022 ◽  
Vol 18 (1) ◽  
pp. 1-28
Author(s):  
Nick Roessler ◽  
André DeHon
Keyword(s):  
Detailed Knowledge ◽  
High Quality ◽  
Analysis Tools ◽  
Target Architecture ◽  
Performance Tradeoff

We present Secure Compartments Automatically Learned and Protected by Execution using Lightweight metadata (SCALPEL), a tool for automatically deriving compartmentalization policies and lowering them to a tagged architecture for hardware-accelerated enforcement. SCALPEL allows a designer to explore high-quality points in the privilege-reduction vs. performance overhead tradeoff space using analysis tools and a detailed knowledge of the target architecture to make best use of the available hardware. SCALPEL automatically implements hundreds of compartmentalization strategies across the privilege-performance tradeoff space, all without manual tagging or code restructuring. SCALPEL uses two novel optimizations for achieving highly performant policies: the first is an algorithm for packing policies into working sets of rules for favorable rule cache characteristics, and the second is a rule prefetching system that allows it to exploit the highly predictable nature of compartmentalization rules. To create policies, SCALPEL introduces a quantitative privilege metric (the Overprivilege Ratio) that is used to drive its algorithmic compartment generation. We implement SCALPEL on a FreeRTOS stack and target a tag-extended RISC-V core. Our results show that SCALPEL-created policies can reduce overprivilege by orders of magnitude with hundreds of logical compartments while imposing low overheads (<5%).

scholarly journals Performance Estimation Based Multicriteria Partitioning Approach for Dynamic Dataflow Programs

2016 ◽  
Vol 2016 ◽  
pp. 1-15
Author(s):  
Małgorzata Michalska ◽  
Nicolas Zufferey ◽  
Marco Mattavelli
Keyword(s):  
Design Space ◽  
Performance Estimation ◽  
Experimental Results ◽  
High Quality ◽  
Data Throughput ◽  
Target Architecture ◽  
Execution Model ◽  
Np Complete ◽  
Virtual Platform ◽  
Difficult Challenge

The problem of partitioning a dataflow program onto a target architecture is a difficult challenge for any application design. In general, since the problem is NP-complete, it consists of looking for high quality solutions in terms of maximizing the achievable data throughput. The difficulty is given by the exploration of the design space which results in being extremely large for parallel platforms. The paper describes a heuristic partitioning methodology applicable to dynamic dataflow programs. The methodology is based on two elements: an execution model of the dynamic dataflow program which is used as estimation of the performance for the exploration of the large design space and several partitioning algorithms competing to lead to specific high quality solutions. Experimental results are validated with executions on a virtual platform.

Corpus Linguistics for Application Development

1998 ◽  
Vol 3 (2) ◽  
pp. 305-318 ◽  
Author(s):  
Luca Dini ◽  
Vittorio Di Tomaso
Keyword(s):  
Software Engineering ◽  
Corpus Linguistics ◽  
Corpus Analysis ◽  
Application Domain ◽  
Application Development ◽  
High Quality ◽  
Analysis Tools ◽  
Fast Development

Corpus linguistics and the development of commercial NLP applications are two tightly linked activities. It is hard to conceive fast development of high quality applications without proper tools for inspecting the corpora pertaining the application domain. At the same time, it is hard to conceive reliable corpus analysis tools that do not satisfy the standards of software engineering. In the present paper, we will prove the validity of such a concept by showing how application development at CELI benefited from corpus-oriented tools and how these corpus-oriented tools have been produced as a by-product of the technology developed for real applications.

Some problems of objective-prism spectra classification

1966 ◽  
Vol 24 ◽  
pp. 51-52
Author(s):  
E. K. Kharadze ◽  
R. A. Bartaya
Keyword(s):  
Short Wave ◽  
High Quality ◽  
Stellar Spectra ◽  
Objective Prism

The unique 70-cm meniscus-type telescope of the Abastumani Astrophysical Observatory supplied with two objective prisms and the seeing conditions characteristic at Mount Kanobili (Abastumani) permit us to obtain stellar spectra of a high quality. No additional design to improve the “climate” immediately around the telescope itself is being applied. The dispersions and photographic magnitude limits are 160 and 660Å/mm, and 12–13, respectively. The short-wave end of spectra reaches 3500–3400Å.

A non-cyanide method of electropolishing silver

1978 ◽  
Vol 36 (1) ◽  
pp. 146-147
Author(s):  
R. L. Lyles ◽  
S. J. Rothman ◽  
W. Jäger
Keyword(s):  
Electron Microscopy ◽  
Sulphuric Acid ◽  
Methyl Alcohol ◽  
Health Hazards ◽  
Silver Alloy ◽  
High Quality ◽  
Silver Alloys ◽  
Free Sample ◽  
Specimen Quality ◽  
Standard Techniques

Standard techniques of electropolishing silver and silver alloys for electron microscopy in most instances have relied on various CN recipes. These methods have been characteristically unsatisfactory due to difficulties in obtaining large electron transparent areas, reproducible results, adequate solution lifetimes, and contamination free sample surfaces. In addition, there are the inherent health hazards associated with the use of CN solutions. Various attempts to develop noncyanic methods of electropolishing specimens for electron microscopy have not been successful in that the specimen quality problems encountered with the CN solutions have also existed in the previously proposed non-cyanic methods.The technique we describe allows us to jet polish high quality silver and silver alloy microscope specimens with consistant reproducibility and without the use of CN salts.The solution is similar to that suggested by Myschoyaev et al. It consists, in order of mixing, 115ml glacial actic acid (CH3CO2H, specific wt 1.04 g/ml), 43ml sulphuric acid (H2SO4, specific wt. g/ml), 350 ml anhydrous methyl alcohol, and 77 g thiourea (NH2CSNH2).

A High Resolution Scanning Microscope

1968 ◽  
Vol 26 ◽  
pp. 356-357
Author(s):  
A. V. Crewe ◽  
J. Wall ◽  
L. M. Welter
Keyword(s):  
High Resolution ◽  
Field Emission ◽  
Spherical Aberration ◽  
Focal Length ◽  
Spot Size ◽  
Emission Source ◽  
Field Of View ◽  
Scanning Microscope ◽  
Magnetic Lens ◽  
High Quality

A scanning microscope using a field emission source has been described elsewhere. This microscope has now been improved by replacing the single magnetic lens with a high quality lens of the type described by Ruska. This lens has a focal length of 1 mm and a spherical aberration coefficient of 0.5 mm. The final spot size, and therefore the microscope resolution, is limited by the aberration of this lens to about 6 Å.The lens has been constructed very carefully, maintaining a tolerance of + 1 μ on all critical surfaces. The gun is prealigned on the lens to form a compact unit. The only mechanical adjustments are those which control the specimen and the tip positions. The microscope can be used in two modes. With the lens off and the gun focused on the specimen, the resolution is 250 Å over an undistorted field of view of 2 mm. With the lens on,the resolution is 20 Å or better over a field of view of 40 microns. The magnification can be accurately varied by attenuating the raster current.

Quantitative defect studies in semiconductor TEM samples prepared by low angle ion milling

1995 ◽  
Vol 53 ◽  
pp. 512-513
Author(s):  
L. Mulestagno ◽  
J.C. Holzer ◽  
P. Fraundorf
Keyword(s):  
Sample Preparation ◽  
Milling Time ◽  
High Density ◽  
Low Density ◽  
Ion Milling ◽  
High Quality ◽  
Variable Angle ◽  
Major Disadvantage ◽  
Induced Defects

Due to the wealth of information, both analytical and structural that can be obtained from it TEM always has been a favorite tool for the analysis of process-induced defects in semiconductor wafers. The only major disadvantage has always been, that the volume under study in the TEM is relatively small, making it difficult to locate low density defects, and sample preparation is a somewhat lengthy procedure. This problem has been somewhat alleviated by the availability of efficient low angle milling.Using a PIPS® variable angle ion -mill, manufactured by Gatan, we have been consistently obtaining planar specimens with a high quality thin area in excess of 5 × 104 μm2 in about half an hour (milling time), which has made it possible to locate defects at lower densities, or, for defects of relatively high density, obtain information which is statistically more significant (table 1).

Structural changes in silicon-on-insulator material during post-implantation annealing

1986 ◽  
Vol 44 ◽  
pp. 736-737
Author(s):  
C. O. Jung ◽  
S. J. Krause ◽  
S.R. Wilson
Keyword(s):  
Integrated Circuits ◽  
Oxide Layer ◽  
High Speed ◽  
Structural Changes ◽  
Device Fabrication ◽  
Silicon On Insulator ◽  
High Quality ◽  
Radiation Hardened ◽  
Post Implantation ◽  
Very High

Silicon-on-insulator (SOI) structures have excellent potential for future use in radiation hardened and high speed integrated circuits. For device fabrication in SOI material a high quality superficial Si layer above a buried oxide layer is required. Recently, Celler et al. reported that post-implantation annealing of oxygen implanted SOI at very high temperatures would eliminate virtually all defects and precipiates in the superficial Si layer. In this work we are reporting on the effect of three different post implantation annealing cycles on the structure of oxygen implanted SOI samples which were implanted under the same conditions.

An atomic-resolution microscope study of Al contracts on GaAs

1986 ◽  
Vol 44 ◽  
pp. 726-727
Author(s):  
Z. Liliental-Weber ◽  
C. Nelson ◽  
R. Ludeke ◽  
R. Gronsky ◽  
J. Washburn
Keyword(s):  
High Speed ◽  
Schottky Contacts ◽  
Detailed Knowledge ◽  
The Past ◽  
Semiconductor Interfaces ◽  
Deposited Metal ◽  
Microwave Applications ◽  
Free Interfaces ◽  
Potential Use

The properties of metal/semiconductor interfaces have received considerable attention over the past few years, and the Al/GaAs system is of special interest because of its potential use in high-speed logic integrated optics, and microwave applications. For such materials a detailed knowledge of the geometric and electronic structure of the interface is fundamental to an understanding of the electrical properties of the contact. It is well known that the properties of Schottky contacts are established within a few atomic layers of the deposited metal. Therefore surface contamination can play a significant role. A method for fabricating contamination-free interfaces is absolutely necessary for reproducible properties, and molecularbeam epitaxy (MBE) offers such advantages for in-situ metal deposition under UHV conditions

Performance and applications of a field-emission gun TEM/STEM

1992 ◽  
Vol 50 (2) ◽  
pp. 942-943
Author(s):  
Judith M. Brock ◽  
Max T. Otten ◽  
Marc. J.C. de Jong
Keyword(s):  
Field Emission ◽  
High Resolution Imaging ◽  
High Quality ◽  
Small Energy ◽  
High Brightness ◽  
Small Probe ◽  
Resolution Imaging ◽  
Convergent Beam ◽  
Beam Patterns ◽  
Beam Diffraction

A Field Emission Gun (FEG) on a TEM/STEM instrument provides a major improvement in performance relative to one equipped with a LaB6 emitter. The improvement is particularly notable for small-probe techniques: EDX and EELS microanalysis, convergent beam diffraction and scanning. The high brightness of the FEG (108 to 109 A/cm2srad), compared with that of LaB6 (∼106), makes it possible to achieve high probe currents (∼1 nA) in probes of about 1 nm, whilst the currents for similar probes with LaB6 are about 100 to 500x lower. Accordingly the small, high-intensity FEG probes make it possible, e.g., to analyse precipitates and monolayer amounts of segregation on grain boundaries in metals or ceramics (Fig. 1); obtain high-quality convergent beam patterns from heavily dislocated materials; reliably detect 1 nm immuno-gold labels in biological specimens; and perform EDX mapping at nm-scale resolution even in difficult specimens like biological tissue.The high brightness and small energy spread of the FEG also bring an advantage in high-resolution imaging by significantly improving both spatial and temporal coherence.

High Resolution Transmission Electron Microscopy of an automobile catalytic converter

1990 ◽  
Vol 48 (4) ◽  
pp. 242-243
Author(s):  
Jan-Olle Malm ◽  
Jan-Olov Bovin
Keyword(s):  
Electron Microscopy ◽  
High Resolution ◽  
Catalytic Converter ◽  
Active Material ◽  
Image Intensifier ◽  
High Resolution Electron Microscopy ◽  
Detailed Knowledge ◽  
Transmission Electron ◽  
Resolution Electron ◽  
Atomic Surface

Understanding of catalytic processes requires detailed knowledge of the catalyst. As heterogeneous catalysis is a surface phenomena the understanding of the atomic surface structure of both the active material and the support material is of utmost importance. This work is a high resolution electron microscopy (HREM) study of different phases found in a used automobile catalytic converter.The high resolution micrographs were obtained with a JEM-4000EX working with a structural resolution better than 0.17 nm and equipped with a Gatan 622 TV-camera with an image intensifier. Some work (e.g. EDS-analysis and diffraction) was done with a JEM-2000FX equipped with a Link AN10000 EDX spectrometer. The catalytic converter in this study has been used under normal driving conditions for several years and has also been poisoned by using leaded fuel. To prepare the sample, parts of the monolith were crushed, dispersed in methanol and a drop of the dispersion was placed on the holey carbon grid.

Sign in / Sign up

Export Citation Format

Share Document