Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Smack

Known as: Simplified Mandatory Access Control Kernel, Smack (Linux security module) 
Smack (full name: Simplified Mandatory Access Control Kernel) is a Linux kernel security module that protects data and process interaction from… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
The extraction of the relevant and debated opinions from online social media and commercial websites is an emerging task in the… Expand
Is this relevant?
2018
2018
Rust is an emerging systems programming language with guaranteed memory safety and modern language features that has been… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
Is this relevant?
2016
2016
Tool prototyping is an essential step in developing novel software verification algorithms and techniques. However, implementing… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2016
2016
The extraction of the relevant and debated opinions from online social media and commercial websites is an emerging task in the… Expand
Is this relevant?
2015
2015
SMACK and Corral are two components of a modular toolchain for verifying C programs. Together they exploit state-of-the-art… Expand
  • figure 1
Is this relevant?
2015
2015
Internet of Things (IoT) commonly identifies the upcoming network society where all connectable devices will be able to… Expand
  • figure 2
  • figure 1
  • figure 3
  • table I
  • table III
Is this relevant?
Highly Cited
2014
Highly Cited
2014
A major obstacle to putting software verification research into practice is the high cost of developing the infrastructure… Expand
  • figure 1
  • figure 2
  • table 1
Is this relevant?
2008
2008
Address space layout randomization (ASLR) is a security technology to prevent exploitations of buffer overflows. But this… Expand
  • figure 3
  • figure 16
  • figure 18
  • figure 19
  • figure 22
Is this relevant?
2008
2008
The current study presents the results of a content analysis of the verbal aggression found in 36 hours of televised professional… Expand
Is this relevant?
2003
2003
That the technorealists little understand technology is unfortunate; that their mistaken ideas should be deemed uncontroversial… Expand
Is this relevant?