Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Multimachine Stability01:25

Multimachine Stability

698
Multimachine stability analysis is crucial for understanding the dynamics and stability of power systems with multiple synchronous machines. The objective is to solve the swing equations for a network of M machines connected to an N-bus power system.
In analyzing the system, the nodal equations represent the relationship between bus voltages, machine voltages, and machine currents. The nodal equation is given by:
698
Synaptic Signaling01:12

Synaptic Signaling

70.0K
Neurons communicate at synapses, or junctions, to excite or inhibit the activity of other neurons or target cells, such as muscles. Synapses may be chemical or electrical.
70.0K
Synaptic Signaling01:09

Synaptic Signaling

5.7K
Neurons communicate at synapses, or junctions, to excite or inhibit the activity of other neurons or target cells, such as muscles. Synapses may be chemical or electrical.
Most synapses are chemical, meaning an electrical impulse or action potential spurs the release of chemical messengers called neurotransmitters. The neuron sending the signal is called the presynaptic neuron, and the neuron receiving the signal is the postsynaptic neuron.
The presynaptic neuron fires an action potential that...
5.7K
Bootstrapping01:24

Bootstrapping

789
The term "bootstrap" originated in the 19th century as a metaphor for self-improvement or achieving something independently, without external assistance. This concept extends to statistical bootstrapping, a self-contained method for estimating population parameters through resampling, even though it can be computationally intensive. Developed by the American statistician Dr. Bradley Efron in 1979, bootstrapping provides a robust way to perform inference when the original sample size is...
789
Eukaryotic Compartmentalizations01:46

Eukaryotic Compartmentalizations

137.2K
One of the distinguishing features of eukaryotic cells is that they contain membrane-bound organelles, such as the nucleus and mitochondria, that carry out specialized functions. Since biological membranes are only selectively permeable to solutes, they help create a compartment with controlled conditions inside an organelle. These microenvironments are tailored to the organelle's specific functions and help isolate them from the surrounding cytosol.
For example, lysosomes in the animal cells...
137.2K
Distribution Reliability and Automation01:25

Distribution Reliability and Automation

678
Distribution reliability in electrical power systems is critical for ensuring an uninterrupted power supply to consumers at minimal cost. According to IEEE Standard Terms, reliability is the probability that a device will function without failure over a specified time period or amount of usage. For electric power distribution, this translates to maintaining continuous power supply and addressing customer concerns over power outages. Several indices, as defined by IEEE Standard 1366-2012, are...
678

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Interleukin-15 promotes intestinal dysbiosis with butyrate deficiency associated with increased susceptibility to colitis.

The ISME journal·2016
Same author

Application-Defined Decentralized Access Control.

Proceedings of the USENIX ... annual Technical Conference. USENIX Technical Conference·2014
Same author

Eternal Sunshine of the Spotless Machine: Protecting Privacy with Ephemeral Channels.

Proceedings of the -- USENIX Symposium on Operating Systems Design and Implementation (OSDI). USENIX Symposium on Operating Systems Design and Implementation·2014
Same author

Anon-Pass: Practical Anonymous Subscriptions.

Proceedings. IEEE Symposium on Security and Privacy·2014

Related Experiment Video

Updated: May 4, 2026

Automated Deployment of an Internet Protocol Telephony Service on Unmanned Aerial Vehicles Using Network Functions Virtualization
07:49

Automated Deployment of an Internet Protocol Telephony Service on Unmanned Aerial Vehicles Using Network Functions Virtualization

Published on: November 26, 2019

9.7K

InkTag: Secure Applications on an Untrusted Operating System.

Owen S Hofmann, Sangman Kim, Alan M Dunn

    ASPLOS ... Proceedings. International Conference on Architectural Support for Programming Languages and Operating Systems
    |January 17, 2014
    PubMed
    Summary

    InkTag provides strong security for high-assurance processes against malicious operating systems using virtualization. This novel system ensures data consistency and recoverability, advancing secure computing.

    Keywords:
    Application protectionParaverificationVirtualization-based security

    More Related Videos

    Author Spotlight: Automated Deep Brain Stimulation for Parkinson's Disease - Exploring the Possibilities and Challenges of Home Monitoring
    06:32

    Author Spotlight: Automated Deep Brain Stimulation for Parkinson's Disease - Exploring the Possibilities and Challenges of Home Monitoring

    Published on: July 14, 2023

    2.1K
    The Collective Trust Game: An Online Group Adaptation of the Trust Game Based on the HoneyComb Paradigm
    06:18

    The Collective Trust Game: An Online Group Adaptation of the Trust Game Based on the HoneyComb Paradigm

    Published on: October 20, 2022

    2.3K

    Related Experiment Videos

    Last Updated: May 4, 2026

    Automated Deployment of an Internet Protocol Telephony Service on Unmanned Aerial Vehicles Using Network Functions Virtualization
    07:49

    Automated Deployment of an Internet Protocol Telephony Service on Unmanned Aerial Vehicles Using Network Functions Virtualization

    Published on: November 26, 2019

    9.7K
    Author Spotlight: Automated Deep Brain Stimulation for Parkinson's Disease - Exploring the Possibilities and Challenges of Home Monitoring
    06:32

    Author Spotlight: Automated Deep Brain Stimulation for Parkinson's Disease - Exploring the Possibilities and Challenges of Home Monitoring

    Published on: July 14, 2023

    2.1K
    The Collective Trust Game: An Online Group Adaptation of the Trust Game Based on the HoneyComb Paradigm
    06:18

    The Collective Trust Game: An Online Group Adaptation of the Trust Game Based on the HoneyComb Paradigm

    Published on: October 20, 2022

    2.3K

    Area of Science:

    • Computer Science
    • Cybersecurity
    • Systems Engineering

    Background:

    • Operating systems are vulnerable to malicious attacks.
    • Ensuring the security of high-assurance processes in untrusted environments is challenging.

    Purpose of the Study:

    • To introduce InkTag, a virtualization-based architecture for secure high-assurance processes.
    • To enhance security guarantees even with a compromised operating system.

    Main Methods:

    • Developed a novel hypervisor design for InkTag.
    • Introduced paraverification to simplify hypervisor verification.
    • Implemented attribute-based access control for decentralized policies.

    Main Results:

    • InkTag offers strong safety guarantees against malicious operating systems.
    • Paraverification simplifies hypervisor verification by involving the OS.
    • Attribute-based access control enables decentralized security policies.

    Conclusions:

    • InkTag advances the state of the art in securing processes on untrusted operating systems.
    • The system ensures data-metadata consistency and crash recoverability.
    • InkTag enables useful applications to run securely without trusting the OS.