# How do you rank the strings represented by a regular expression?

This question is about the use of 'ranking' of regular languages in applications such as format preserving encryption.

I understand format preserving encryption but I don't understand how regular expressions can be used to get an integer that is the input of an encryption algorithm.

Referring to this video https://youtu.be/MT5ketZ-jLw?t=24m44s at time stamp 24:44

According to the process described - In order to encrypt a string to a ciphertext of some agreed upon format, you need to rank all the possible strings it can be - then using your FPE function encrypt the integer that represents the input plain text to an integer in the same set - unrank the output integer to a ciphertext.

I don't understand what is being ranked? Are they actually obtaining all possible string representations of the regular expression and ranking those? Or are they ranking something else? Where does the DFA come to play - because I can see a brute force way you can do this without bothering with the DFA - or even regular expressions to define the format.

EDIT:

I have already most of the paper that use ranking in regular languages for encryption such as these ones

• Mihir Bellare, Thomas Ristenpart, Phillip Rogaway, and Till Stegers Selected Areas in Cryptography, pages 295-312. Springer-Verlag, 2009 (online, see sec 5 p 10 "FPE for arbitrary RLs")
• Daniel Luchaup, Kevin P. Dyer, Somesh Jha, Thomas Ristenpart and Thomas Shrimpton To appear in the proceedings of USENIX Security 2014

Anyway I'm just looking for a 'laymans' explanation of how this works as I cannot find any working examples online. This would be useful to understand the overall procedure. All examples I have found regarding regular expressions involve creating the DFA, and most of them end there. What happens next?

https://cstheory.stackexchange.com/questions/18589/algorithm-for-ranking-members-of-a-regular-language

• What is the complexity of your brute force approach? Mar 31, 2016 at 21:43
• [the set of properly-formatted strings with the same length as the plaintext] is what's being ranked. ​ They are presumably doing that without "obtaining all possible string representations", ​ since there can very easily be exponentially many such strings. ​ The DFA gives a way to efficiently rank [the set of properly-formatted strings with a given length]. ​ ​ ​ ​
– user12859
Mar 31, 2016 at 21:46
• Have you tried reading the paper? A talk/presentation is largely an advertisement to get you to read the paper -- but the technical details are in the paper.
– D.W.
Mar 31, 2016 at 21:52
• @RickyDemer That is exactly what I don't understand how the DFA is being used, I tried researching it online but could not find an explanation of how it is done. I don't get it because isn't the DFA (and regular expression) a state machine? You have to traverse it to 'create' a string. So there is no single point along the path that gives a string - its a series of steps. I don't see how you can rank this. Mar 31, 2016 at 23:02
• @YuvalFilmus Depends on the string, but I can imagine creating your own methods with a series of conditionals and loops to iterate over all possible combinations of characters. Mar 31, 2016 at 23:08

Suppose you want to encode an element of $\binom{[n]}{k}$, that is, a subset of $\{1,\ldots,n\}$ of size $k$. There are $\binom{n}{k}$ such subsets. FPE functions know how to handle encoding and decoding of integers in the range $\{1,\ldots,M\}$, for an $M$ of your choice. To use such an FPE function in your case you will have to translate an element of $\binom{[n]}{k}$ to an integer in $\{1,\ldots,M\}$ for $M = \binom{n}{k}$ (ranking) and back (unranking), efficiently.
How do you efficiently rank and unrank elements of a domain like $\binom{[n]}{k}$? For which domains is it possible? The video describes one scenario where this is possible, and one general algorithm for handling this scenario. If your scenario is different then you might still be able to rank and unrank efficiently, but you will have to use a different approach.