CAPSL gene

Known as: CAPSL, MGC26610, calcyphosine like 
 
National Institutes of Health

Topic mentions per year

Topic mentions per year

1997-2015
01219972015

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Compulsory licensing in music has paved the way for a limited class of new noninteractive services. However, innovation and… (More)
Is this relevant?
2009
2009
We present a technique for automatically verifying cryptographic protocols specified in the mainstream specification language… (More)
  • table 1
Is this relevant?
2008
2008
In the past few years, several genes outside the MHC region have been described as new susceptibility genetic factors to type 1… (More)
  • table 1
  • table 2
  • table 3
Is this relevant?
2006
2006
The contribution of this work is an approach for lightweight specification and verification of nesC implementations of sensor… (More)
  • figure 4
  • figure 6
  • figure 8
  • figure 7
  • figure 13
Is this relevant?
2004
2004
for all their guidance, inspiration, patience, and support. " You were both just super " ☺. Thank you for all the help throughout… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2001
2001
Most systems designed for the verification of security protocols operate under the unproved assumption that an attack can only… (More)
Is this relevant?
2000
2000
CAPSL, a Common Authentication Protocol Specification Language, is a high-level language to support security analysis of… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1999
1999
 
Is this relevant?
1999
1999
The Common Authentication Protocol Speci cation Language (CAPSL) is a high-level language for applying formal methods to the… (More)
Is this relevant?
1997
1997
In the last year or so, research in the formal analysis of cryptographic protocols has matured to the point where researchers are… (More)
Is this relevant?