http://download.springer.com/static/pdf/540/chp%253A10.1007%252F3-540-48285-7_41.pdf?originUrl=http%3A%2F%2Flink.springer.com%2Fchapter%2F10.1007%2F3-540-48285-7_41&token2=exp=1486607401~acl=%2Fstatic%2Fpdf%2F540%2Fchp%25253A10.1007%25252F3-540-48285-7_41.pdf%3ForiginUrl%3Dhttp%253A%252F%252Flink.springer.com%252Fchapter%252F10.1007%252F3-540-48285-7_41*~hmac=ba58ced97b0e09b59ce3340716e1303b90efc7c0e07176f358265b8de53d6197

Doubly transitive like Turing P22

Simple groups

Now we see why Turing left unstated the relationship to differential cryptanalysis.

Posted in coding theory

We must defend and protect federal networks and data,” Trump said during a meeting on cybersecurity. “We operate these networks on behalf of the American people and they are very important and very sacred.” The executive order had been scheduled for signing after the meeting. It was unclear when it would be signed.

Link needed.

Because NSA objected and , just as with the dhs attempt to usurp NSA role earlier, was able to state why things must remain with NSA. ;and that’s not even discounting the alternatives lack of deployed capability).

The emotional reason doesn’t take a lot of understanding (and even trump – t for torture and p for pussy, recall – understands that without control over the metadata, you cannot spy. And that means spying as much on congress as vlad the impaler.

At this point NSA will be pitching trump on how they validate and protect him (oh king, imperatur) as the preatorians. At his level of paranoia it will be doubly effective.

Posted in coding theory

​Let C be a conjugacy class of the symmetric group Sn . Recall that C consists of all of the permutations of a given cycle type. Hence we may define the support of C, denoted by supp(C), to be the number of nonfixed digits under the action of a permutation in C. If C has “large” support, then each element of C“moves” a lot of letters. If the permutations in C are all even, then we say that C is an even conjugacy class. If the permutations in C are all odd, we say that C is an odd conjugacy class. For n≥5, the subgroup generated by C, denoted by C, is Sn if C is odd, and An if C is even. 

Posted in coding theory

tunny run and quantum coins

think of each tunny run as a particular biased quantum coin space.

Posted in coding theory

building now see on each side of e (the changing slit pattern)a torus. 2 donuts in a box

ie the screen is the torus surface
we want the circle packing to  measure the embedding into spectral uniformity
we want gap minimzed when number of tangents on bith torus are equal

Posted in coding theory

Morphogenesus

Now we have broken through on des by applying turings quantum walk (on graphs whose eigenvalues are functions of the characters) we can turn to his 2d lattice, coded way of expressing his cipher knowhow.

What’s is interesting will be to relate light cones and Padic labeling to the n particle case of the des e functions “slit”, as subkey expansion evolve the positions of the slits, and thereby imposes a discriminator (attacking des)

Posted in coding theory

Shifting coined operators

Turing describes a quantum walk, using only the apparatus of a rotor machine.

What is cute is the very simple way the evolution shifts (the distances between the transformed state).

Posted in coding theory

Lovely orientation material for understanding math of colossus cryptographic attack on Tunney

https://people.eecs.berkeley.edu/~luca/cs359g/lecture06.pdf”>https://people.eecs.berkeley.edu/~luca/cs359g/lecture06.pdf

Posted in coding theory

HTTPS://yorkporc.files.wordpress.com/2011/03/image19.png

photo

S box nibble sized graph evolution (with quantum coin from support between pairs of plaintext chars).

Distinguished from e(), that de-localized flows, simulating quantum coherence

Posted in coding theory

CS359G Lecture 4: Spectral Partitioning | in theory

https://lucatrevisan.wordpress.com/2011/01/26/cs359g-lecture-4-spectral-partitioning/”>https://lucatrevisan.wordpress.com/2011/01/26/cs359g-lecture-4-spectral-partitioning/

We even get (after 3 years) why the tunny alphabet was ordered the way it was, when applied to cryptanalysis. See spectral partitioning and the way in which nodes were ordered.

Posted in coding theory

CS359G Lecture 4: Spectral Partitioning | in theory

see

As we will see in a later lecture, there is a nearly linear time algorithm that finds a vector {x} for which the expression {\delta} in the lemma is very close to {1-\lambda_2}, so, overall, for any graph {G} we can find a cut of expansion {O(\sqrt {h(G)})} in nearly linear time.

…for any tunny “run” known to exhibit a stats measurable bias, through just counting (on colossus).

Think of each std deviation worth of amplification as refining the cutset And tuning to the ciphertext, to best decide between improbably candidates (wheel s that in x or still in the edge expansion set)

Posted in coding theory

Des spectral gap theory

So the 7point geometry is special since it embodies cut sets (those nodes on the circle vs the “outer” triangle

U also look at the area of each as probability (of the event space). Noting obviously circle is less than triangle.

This is highly pertinent to quantum walks.

Now in terms of resistance to differential cryptanalysis one has to think of tunny attack: which wanted to chose just that cutest (between circle and triangle) that allowed a decision on two hypothesis tied to the improbability of each.

To resist D.C., the weight difference between the two h must be within the spectral gap.

Do I get the two sides of the des design argument. We are requiring the quantum random walk but also needing it amplifications to evolve the density to within the spectral gap do that h cannot be weighted in an attack.

Ok so I was right on my intuition, the other day. Now we have histologucal and pure math support.

Posted in coding theory

Turing reasoning when search

https://yorkporc.files.wordpress.com/2011/09/image322.png

Posted in coding theory

How des works – again

So here we are again, explaining
the principles upon which des is designed. Yes it’s the nth time; and the same caveat as before: go anywhere else to learn someone’s description of the algorithm. Here we motivate the design.

So imagine you are studying the infamous quantum mechanics 2 hole screen – separating electron gun on the left from intensity screen. Or the 1 hole. Or the two holes shifted up (or down) a bit on the grate.

Oh and don’t forget that we can flip the grate, should we want the gun on the right (and the screen on the left).

After all like des, quantum mechanics is inevitably reversible, since “information” is conserved.

Now imagine that the e function of des is the grate.

And 2 of the six input bits of the current sbox are the slits in the grates.

The purpose of the way the e function shift inputs left (and right) is to simulate shifting the slits in the grate ip and down.

Why?

So that the qm normal density is shifted.

Our goal is to uniformly fill an intensity space, on the screen. Or better, average the left and right intensity screen (per the classical functional form.

Now, even though we shift our normal curve up and down (as the number of supports in the pair wise plaintext’s chats induce a key particle to move 1,2 3… lambada from the center, within the normal curve (and while constructing/destructing as we go) we still need the addition of intensity curves to uniformly fill the output space.

And here is where comes in the particular key schedule. It’s particular sequencing moves the grate around not only so feistels multiplexor covers all subpace but does so in such manner that guarantees that the concentration of intensity at any point (in 2d intensity space) is never more than the second eigenvalue gap.

Now recall that des does not have reversible sboxes. But we don’t need them! After all we have interleaved diffraction grates, since left 2 right we have half s des round and (right 2 left) we have the other half.

Now view the des subkey generatio functions own (highly programmed) bit duplication as a means of subtly (at huge granularity) measuring the quantum effect, thus influencing just how the left and right particle motions occur – giving a characteristic.

And ensuring that there exists no matrix representation of the same graph.

Posted in coding theory

beetles and support

​Let C be a conjugacy class of the symmetric group Sn . Recall that C consists of all of the permutations of a given cycle type. 
Hence we may define the support of C, denoted by supp(C), to be the number of nonfixed digits under the action of a permutation in C. 
If C has “large” support, then each element of C“moves” a lot of letters.

 If the permutations in C are all even, then we say that C is an even conjugacy class. If the permutations in C are all odd, we say that C is an odd conjugacy class. 


For n≥5, the subgroup generated by C, denoted by C, is Sn if C is odd, and An if C is even. 

now we understand how turing thought about avalanche -and the significance of 4. he used gccs terms, like beetles….

Posted in coding theory

From Enigma to rods to logs (to a fractional base)

The proper (fractional) base used when cryptanalyzing runny messages was not such a strange idea. After all, napiers original log tables were conceived in term of using a base that was a small offset from 1. E.g. O.9999999

I you were 1920 trained math person, you be trained in such “strange” log tables – and such mechanical devices with vertical wooden “rods” bearing abacus like beads. The latter could compute, using the log basis in question.

So think! Tunny back to rods.

And from rods we get back to enigma/Hebern crytanalysis, and isomorph searching.

Of course, rods in enigma algebra are less about logs and more about relative automorphisms (as one computes conjugates).

But you see the eureka transitions.

Once turing and co figured that a discriminator could exist for a rotor set, now one can leap to its log (and an algebra of bulges).

What unclassified docs don’t say is the parallel analysis going on with quantum mechanics calculations, given the parallel effort going on with the ;mostly compartmentalized) atomic bomb making efforts (circa 1944).

Must have been fun to be thinking about the ” potential” of the electron cloud in a colossus tube/valve and that similar controlled electron (well neuron) flow used to accelerate a uranium chain reaction.

Posted in coding theory

Des backdoor

Let’s imagine it’s 1980 again and you have a field full of custom des processors (just doing exhaustive search).

The kind trapdoor I’d want is to probably abandon a given key before having to
Complete all rounds, putting that key at the back of the queue. Given the cost of io in a cluster and the accounting, I want every key derived from that candidate by key schedule to similarly get filtered out of the early trials

So now imagine your field had a special precomputation area with electronics dedicated to the subkey scheduling. So what would that look like?

Look at today’s general purpose CPU pipelining for a good clue on how such custom vlsi was built then.

Also? Since io is the main impeder, think of clustering that is centered on the accounting and queue. One thinks of a giant ram cache… so how do multi cores today share gigs of ram? Probably sane back then…

Posted in coding theory

Hadamard actions

Each row of a Hadamard matrix is perpendicular to the previous one.

And hadamard gates implement conditional qbit operations.

Even in 1940 thinking, multiplying u by r meant figuring what the ciphertect would have been should the rotor have rotated the u.

What we want after n rebounds of des is that if u consider each round output to be ur then ur and ur2 differ as do rows on the hadamard matrix.

Ie half the bit differ.

Which is more tangible than “avalanche” since now we had a limiting condition – when the sequence of conditionals has induced the cipher text itself to be/become an action matrix ;that only produces outputs indistinguishable from uniformity)

In q terms, the data under a long sequence of qbit manipulation has itself evolved to become a hadamard action…

Ok so that means we have a replicating group. We have an expander whose action is to output a (key/plaintext parameyerizrd) expander code that is itself an action…

Posted in coding theory

Qbit space

The whole point about the laplacian is that you are talking about edges (rather than the nodes) and gradient averaging. That is, the edge is the difference between two nodes values (perhaps). Eventually we want any residual bias that ties one plaintext bit to its successor to diminish. And we want trigrams, and quintograms to similarly show uniformity.

An expander is that set of graph that assures that the maximal use of edges will occur (diffusing Bayesian factors) And the profusion of edges for almost all cliques will quickly move one out of a local cycle to wider cycles more globally afield. Moreover as the edges cross the boundary between the clique and all the other potential rods, one wants the transitioning action to replace codependency on plaintext bits with dependency on key bits.

In a crypto avalanche one wants an average result that a change of one unit of distance in key or plaintext chooses half the edges that flip the cipher text bit on the next round. That is key and plaintext become isomorphs with even one bit flip inducing acting as an initial condition that causes an increase in uniformity.

So while the rotor wirings may be inducing long sequence of quantum conditional operations that preserve the dependency of each plaintext bit on key bits And preserve the randonmness of the key bit throughout, it’s the function of the expander to be guiding the walk through the qbit space.

Sent from my iPhone

Posted in coding theory

More on des Hamiltonian and ldc coding to create a non commutative ordering of quantum bit swaps

The Hamiltonian in des are there to deliver a computation graph based on an infinite set of quaternion groups, which not only generates a uniform sample but preserves quantum randomness as each bit of plaintext is cited with a key bit, thus ensuring that the cipher text retains the same spectral Randomness as the key itself.

The side effect of the expander code is to deliver an diffusion engine that enables a sparse matrix to redistribute the Bayesian factors of each nibble over the entire vector space, in random directions and distance.

You can see the Hamiltonian graphs as the wiring of rotor cores in the rotor versions of des.

Posted in coding theory

Sub pub des

Now consider (per dream think) that contrary to disruptive academic teaching des sub and per are about non linear subs that Need to be distributed (by the per).

The sub is compressing but the per distributes (randomly) so eventually you have covered the entire data space.

Posted in coding theory

Yet another NSA/DES dream

Every few months I have what I call my NSA/des dream. Either I work for, half work for , or in some not quite complete manner associate with NSA… to do (guess what) crypto.  Or I’m enacting a life process that is symbolic of the inner story behind des. Always des!!

 Last night it was both : a partial NSA affiliate hiking, where the steps of the intricate inca path represented the inner story on how and why the des key schedule provides strength.

Go figure. It was more tangible than the previous one where I was looking at a meta magical wAterfall (on the mythical NSA campus) that expressed des (while trying not to get the hall cleaner into trouble…)

Tis true that (10 years later) today I found out just why Msft added mscep to their cert server (circa 2006).  Hopefully I’m not dreaming pkcs7 or xml, tonight!

Posted in coding theory

Spying today is like yesterday

Little has changed .
Download some microcode , and even your current intel x now offers “more instructions” (that now spy)
Funny how old comp sci is the most guarded secret of all.

Posted in coding theory

Continuous Groups From Turing

early Turing computer science models were founded in crypto rotor machines. That is, each rotor  moved independently, each according to its own state machine (defined as a Cayley graph).

Viewing each graph as a coroutine (expressed in code as switch and goto between cases, of the same or other switches), one gets to a continuous space (of graph points).

  1. If things were subroutines, he would have said: discrete space (or “finite” dimension”)
  2. Interesting to see comp sci in the rarefied language of pure intellectualusm  (circa 1930).

 

Posted in coding theory

Code Arsenal – Programming Tutorials and Code Samples: C# Read Excel and Show in WPF DataGrid

http://www.codearsenal.net/2012/06/c-sharp-read-excel-and-show-in-wpf.html?m=1

Posted in coding theory

Building an Extensible Application with MEF, WPF, and MVVM – CodeProject

http://www.codeproject.com/Articles/43625/Building-an-Extensible-Application-with-MEF-WPF-an

Posted in coding theory

ASP.NET SPA with openid connect (via AAD)

To make the SPA sample in visual studio 2015 work, with AAD, do something like the following to configure the client: Note the passive setting in the calling code. Note the redirect URI I configured in the AAD record.

app.UseGoogleAuthentication(new GoogleOAuth2AuthenticationOptions()

{

ClientId = “328410290065.apps.googleusercontent.com”,

ClientSecret = “alhNXE31GCwU5BgMDzSB4r0n”

});

app.UseOpenIdConnectAuthentication(new OpenIdConnectAuthenticationOptions

{

AuthenticationMode = Microsoft.Owin.Security.AuthenticationMode.Passive,

Authority = https://login.microsoftonline.com/cincyrapmlsqa.onmicrosoft.com”,

ClientId = “00b85995-e861-40e3-9094-f264a0b58d16”,

ClientSecret = “fkgOn8ven2OqvZMX61KAEjiKSDZyJzEI+w1hxl/mku8=”

});

 

redirectAAD

 

Posted in coding theory

Choosing weighted cards with urn replacement

Re turing and cryptanalzing bigrams in key covers used in layter naval enigma

From web:-

http://stackoverflow.com/questions/352670/weighted-random-selection-with-and-without-replacement

One of the fastest ways to make many with replacement samples from an unchanging list is the alias method. The core intuition is that we can create a set of equal-sized bins for the weighted list that can be indexed very efficiently through bit operations, to avoid a binary search. It will turn out that, done correctly, we will need to only store two items from the original list per bin, and thus can represent the split with a single percentage.

Let’s us take the example of five equally weighted choices, (a:1, b:1, c:1, d:1, e:1)

To create the alias lookup:

Normalize the weights such that they sum to 1.0. (a:0.2 b:0.2 c:0.2 d:0.2 e:0.2) This is the probability of choosing each weight.

Find the smallest power of 2 greater than or equal to the number of variables, and create this number of partitions, |p|. Each partition represents a probability mass of 1/|p|. In this case, we create 8 partitions, each able to contain 0.125.

Take the variable with the least remaining weight, and place as much of it’s mass as possible in an empty partition. In this example, we see that a fills the first partition. (p1{a|null,1.0},p2,p3,p4,p5,p6,p7,p8) with (a:0.075, b:0.2 c:0.2 d:0.2 e:0.2)

If the partition is not filled, take the variable with the most weight, and fill the partition with that variable.

Repeat steps 3 and 4, until none of the weight from the original partition need be assigned to the list.

For example, if we run another iteration of 3 and 4, we see

(p1{a|null,1.0},p2{a|b,0.6},p3,p4,p5,p6,p7,p8) with (a:0, b:0.15 c:0.2 d:0.2 e:0.2) left to be assigned

At runtime:

Get a U(0,1) random number, say binary 0.001100000

bitshift it lg2(p), finding the index partition. Thus, we shift it by 3, yielding 001.1, or position 1, and thus partition 2.

If the partition is split, use the decimal portion of the shifted random number to decide the split. In this case, the value is 0.5, and 0.5 < 0.6, so return a.

Here is some code and another explanation, but unfortunately it doesn't use the bitshifting technique, nor have I actually verified it.

Posted in coding theory

Running a B2C AAD integration (with implicit code flow)

 

sample code

image
https://github.com/AzureADQuickStarts/B2C-WebApp-OpenIdConnect-DotNet

 

code

image

signup

image

claims having created local sesssion

image

 

if we add google as an IDP, we see during signUP

image

image

Posted in AAD

B2C Azure AD

 

lets play with B2c of Azure AD

image

https://azure.microsoft.com/en-us/documentation/articles/active-directory-b2c-devquickstarts-web-dotnet/

The App

image

B2C_1_pwsignup:

image

{
  "issuer": "https://login.microsoftonline.com/8acee302-9d63-4634-800f-73f31f5ef745/v2.0/",
  "authorization_endpoint": "https://login.microsoftonline.com/b2ctrialpw.onmicrosoft.com/oauth2/v2.0/authorize?p=b2c_1_pwsignup",
  "token_endpoint": "https://login.microsoftonline.com/b2ctrialpw.onmicrosoft.com/oauth2/v2.0/token?p=b2c_1_pwsignup",
  "end_session_endpoint": "https://login.microsoftonline.com/b2ctrialpw.onmicrosoft.com/oauth2/v2.0/logout?p=b2c_1_pwsignup",
  "jwks_uri": "https://login.microsoftonline.com/b2ctrialpw.onmicrosoft.com/discovery/v2.0/keys?p=b2c_1_pwsignup",
  "response_modes_supported": [
    "query",
    "fragment",
    "form_post"
  ],
  "response_types_supported": [
    "code",
    "id_token",
    "code id_token"
  ],
  "scopes_supported": [
    "openid"
  ],
  "subject_types_supported": [
    "pairwise"
  ],
  "id_token_signing_alg_values_supported": [
    "RS256"
  ],
  "token_endpoint_auth_methods_supported": [
    "client_secret_post"
  ],
  "claims_supported": [
    "emails",
    "name",
    "sub",
    "idp"
  ]
}

 

pwsignin

image

{
  "issuer": "https://login.microsoftonline.com/8acee302-9d63-4634-800f-73f31f5ef745/v2.0/",
  "authorization_endpoint": "https://login.microsoftonline.com/b2ctrialpw.onmicrosoft.com/oauth2/v2.0/authorize?p=b2c_1_pswignin",
  "token_endpoint": "https://login.microsoftonline.com/b2ctrialpw.onmicrosoft.com/oauth2/v2.0/token?p=b2c_1_pswignin",
  "end_session_endpoint": "https://login.microsoftonline.com/b2ctrialpw.onmicrosoft.com/oauth2/v2.0/logout?p=b2c_1_pswignin",
  "jwks_uri": "https://login.microsoftonline.com/b2ctrialpw.onmicrosoft.com/discovery/v2.0/keys?p=b2c_1_pswignin",
  "response_modes_supported": [
    "query",
    "fragment",
    "form_post"
  ],
  "response_types_supported": [
    "code",
    "id_token",
    "code id_token"
  ],
  "scopes_supported": [
    "openid"
  ],
  "subject_types_supported": [
    "pairwise"
  ],
  "id_token_signing_alg_values_supported": [
    "RS256"
  ],
  "token_endpoint_auth_methods_supported": [
    "client_secret_post"
  ],
  "claims_supported": [
    "emails",
    "name",
    "sub",
    "idp"
  ]
}

 

 

pwprofile

 

image

 

{
  "issuer": "https://login.microsoftonline.com/8acee302-9d63-4634-800f-73f31f5ef745/v2.0/",
  "authorization_endpoint": "https://login.microsoftonline.com/b2ctrialpw.onmicrosoft.com/oauth2/v2.0/authorize?p=b2c_1_pwprofile",
  "token_endpoint": "https://login.microsoftonline.com/b2ctrialpw.onmicrosoft.com/oauth2/v2.0/token?p=b2c_1_pwprofile",
  "end_session_endpoint": "https://login.microsoftonline.com/b2ctrialpw.onmicrosoft.com/oauth2/v2.0/logout?p=b2c_1_pwprofile",
  "jwks_uri": "https://login.microsoftonline.com/b2ctrialpw.onmicrosoft.com/discovery/v2.0/keys?p=b2c_1_pwprofile",
  "response_modes_supported": [
    "query",
    "fragment",
    "form_post"
  ],
  "response_types_supported": [
    "code",
    "id_token",
    "code id_token"
  ],
  "scopes_supported": [
    "openid"
  ],
  "subject_types_supported": [
    "pairwise"
  ],
  "id_token_signing_alg_values_supported": [
    "RS256"
  ],
  "token_endpoint_auth_methods_supported": [
    "client_secret_post"
  ],
  "claims_supported": [
    "sub",
    "idp"
  ]
}
Posted in AAD