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
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
2016
2016
Building a competitive program verifiers is becoming cheaper. On the front-end side, openly available compiler infrastructure and… Expand
  • figure 1
  • table 1
2015
2015
Despite its seemingly overwhelming military superiority, the Netherlands never came close to defeating the increasingly effective… Expand
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
2014
2014
With the Defence White Paper due for release in 2015, this paper argues the government should bear in mind that planning for an… Expand
2010
2010
Educators/trainers try very hard to be inclusive. But sometimes we adopt learning strategies that have the opposite effect… Expand
2009
2009
Because of its critical importance underlying all other software, low-level system software is among the most important targets… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
2007
2007
Eight years ago, as the Treaty of Amsterdam entered into force, when assessing the judicial system of EU Justice and Home Affairs… Expand
2007
2007
En el campo de la Linguistica Cognitiva, Goldberg (1995), en su acercamiento a la Gramatica de Construcciones ofrece un analisis… Expand
2003
2003
That the technorealists little understand technology is unfortunate; that their mistaken ideas should be deemed uncontroversial… Expand